Prolog中的逻辑“不”是什么？

Question

我面临的问题有点琐碎。我想在Prolog中不使用逻辑，但是这似乎not/1不是我想要的东西：course(ai).course(pl).course(os).have(X,Y) :- course(X),course(Y),not(X = Y).我查询：have(X,Y), write(X-Y), nl , fail.而且我没有得到想要的结果:(

Answer 1

在SWI-Prolog和GNU Prolog中，以下都应该起作用：

have(X, Y) :- course(X), course(Y), X \= Y.

在SWI-Prolog中，您还可以使用dif/2，它可以更加方便，因为您可以在谓词中更早地使用它：

have(X, Y) :- dif(X, Y), course(X), course(Y).

Answer 2

作为上述用户“假”答案的补充，即

“代替not（X = Y），您需要编写\ + X = Y，”

这可能给人的印象是：

一种。“ not”和“ \ +”是不同的东西

b。\ +将起作用，而不是，则不会。

我的理解是“ not”和“ \ +”是等效的，但是\ +在现代Prolog程序中是首选，因为它传达了一种更直观的感觉。具体而言，尽管“不”可能暗示粗心的编码器“不正确”，而“ \ +”却暗示“不可证明”，这与该操作实际上在说什么很接近。在Prolog中，“不是”是“否定即失败”的一个示例，但是可以感觉到\ +将使程序员更清楚在任何给定规则中确切地断言了什么。因此，您可以使用“ not”（大多数PL实现将其保留为向后兼容），但要成为惯用的现代PL程序员，您可能应该更喜欢使用\ +。