5

我在下面有一个我编写的 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.

我究竟做错了什么?

4

1 回答 1

5

问题在于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).
于 2018-03-18T21:45:16.237 回答