Prolog 查询满足，但返回 false

Question

我在下面有一个简单的例子，它有一个我编写的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.

我做错了什么？

Answer 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).