大写'；N'；在prolog术语之前：imp（P，Q，Y）：-不是（P，NP）或（NP，Q，Y）

prolog术语前的大写字母“N”是什么意思

例如，在imp中的p在not中变成NP

imp(P,Q,Y) :- not(P,NP),or(NP,Q,Y).

NP在prolog中表示p的否定

N是prolog中的一种内置函数

---

非常感谢。

它没有特别的意义。术语

NP

，以大写字母开头，表示它是一个变量（可以以任何大写字母开头）

我读你的程序的方式：

imp(P,Q,Y) :- not(P,NP),or(NP,Q,Y).

这意味着：'要得到p意味着变量Y上的Q'，我们调用procedure

not/2

来得到输入p的求反，然后我们调用procedure

或/3

来计算变量Y上的“not p或Q”。当然，您在某个地方定义了procedure

not/2

和

或/3