swi-prolog否定

Question

我很难在Prolog中找到关于否定的明确答案，所以如果这是一个显而易见的问题，我道歉：

我正在试着写一个简单的代码，逻辑上说“如果X喜欢Y并且只有Y，那么X和Y彼此相爱。”我的.pl代码如下所示：

likes(mary,john).
likes(mary,chad).
likes(john,mary).

loves(X,Y):- likes(X,Y), \+likes(X,Z).

然后，我运行我的程序并简单地问：

?- loves(X,Y).

但结果总是错的。根据我的逻辑，它应该返回到'X=john，Y=mary‘。

我尝试了几种组合，用切分来分隔否定，尝试用多行来定义“爱”……我可能遗漏了一个主要的否定原则，或者甚至有一种更简单的方法来实现我在这里试图做的事情。如果你能帮上忙，请告诉我！

我正在使用Debian软件管理器中的SWI-Prolog (swipl)，如果这有任何帮助的话，尽管我怀疑这会有多大的不同。

Answer 1

你的问题是，当你的规则调用\+likes(X,Z)时，它是不受限制的，那么至少总会有Z=Y使\+likes(X,Z)/2无效。我的意思是，既然likes(X，Y)是真的，那么肯定会是真的likes(X，Z)。

将其更改为：

loves(X,Y):- likes(X,Y), \+ (( likes(X,Z), Z \= Y )).

你就会得到

?- loves(X,Y).
X = john,
Y = mary.