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