prolog - 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

你的问题是 Z当您的规则要求 \+likes(X,Z) 时，它不受约束，那么至少总会有 Z=Y 使 love/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.