0

序言词之前的大写“N”是什么意思？

比如imp中的P变成not中的NP？</p> 

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

NP表示序言中P的否定？

N是prolog中的一种内置函数？

非常感谢。

4

1 回答 1

1

它没有特别的意义。以大写字母开头的术语NP表示它是一个变量（它可以以任何大写字母开头）。

我阅读您的程序的方式：

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

它的意思是：'要得到 P 意味着 Q 到变量 Y' 我们调用过程not/2来获得输入 P 的否定，然后我们调用过程or/3来计算变量 Y 上的“不是 P 或 Q”。当然，你在某个地方定义了过程not/2和or/3

于 2012-12-07T17:30:51.417 回答