prolog项前的大写'N‘：imp(P，Q，Y) :- not(P，NP)或(NP，Q，Y)

Question

prolog term前的大写“N”是什么意思？

比如imp中的P变成了not中的NP？

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

NP是prolog中P的否定吗？

N是prolog中的一种内建函数吗？

非常感谢。

Answer 1

它没有什么特别的含义。术语NP以大写字母开头，表示它是一个变量(它可以以任何大写字母开头)。

我读你的程序的方式：

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

这意味着：‘获取P意味着Q指向变量Y’，我们调用过程not/2来获取输入P的否定，然后调用过程or/3，它将"not P or Q“计算到变量Y上。当然，您在某个地方定义了过程not/2和or/3。