我很难在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），如果这有帮助的话，尽管我怀疑这会有很大的不同。
答案 0 :(得分：5)
你的问题是Z当你的规则要求\+likes(X,Z)时它没有被绑定，那么至少会有Z = Y使loves / 2无效。我的意思是，因为喜欢（X，Y）是真的，肯定会是真的喜欢（X，Z）。
以这种方式改变：
loves(X,Y):- likes(X,Y), \+ (( likes(X,Z), Z \= Y )).
你会得到
?- loves(X,Y).
X = john,
Y = mary.