Prolog 查询可满足但返回 false

【问题标题】：Prolog query satisfiable but returns falseProlog 查询可满足但返回 false
【发布时间】：2018-03-18 21:34:06
【问题描述】：

下面有一个我编写的 prolog 程序的简单示例，其中包含一个可满足的查询，该查询始终返回 false 进行搜索。

male(william).
male(harry).

% parent(x,y) - the parent of x is y
parent(william, diana).
parent(william, charles).
parent(harry, diana).
parent(harry, charles).

% Brother - the brother of X is Y
brother(X,Y) :- X\=Y, parent(X,A), parent(Y,A), male(Y).

当我问两个常量是否是兄弟时，这很好，但是如果我尝试找到一个常量 prolog 的兄弟，则返回 false。

?- brother(william,harry).
true

?- brother(william,X).
false.

我做错了什么？

【问题讨论】：

标签： prolog first-order-logic

【解决方案1】：

问题出在X\=Y 这部分很幸运，因为\=/2 是非单调的。只需更改顺序即可：

brother(X,Y) :- X\=Y, parent(X,A), parent(Y,A), male(Y).

到：

brother(X,Y) :-  parent(X,A), parent(Y,A), male(Y), X\=Y.

但更好的解决方案是使用dif/2，它可以保持纯度：

brother(X,Y) :- dif(X,Y), parent(X,A), parent(Y,A), male(Y).

【讨论】：

谢谢。使用 dif(X,Y) 解决了这个问题。阅读 dif/2 和 \=/2 的文档，我想我明白为什么它以前不起作用。