我在下面有一个我编写的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.
我究竟做错了什么？