Prolog 查询可满足但 returns 错误
Prolog query satisfiable but returns false
我在下面有一个我编写的 prolog 程序的简单示例,其中包含一个可满足的查询,该查询对于搜索始终 returns 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).
当我询问两个常量是否是兄弟时,这很好,但如果我试图找到一个常量序言的兄弟 returns false。
?- brother(william,harry).
true
?- brother(william,X).
false.
我做错了什么?
问题就在这里X\=Y
这部分运气逻辑纯正因为\=/2
是non-monotonic。只是为了让它工作改变顺序:
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).
我在下面有一个我编写的 prolog 程序的简单示例,其中包含一个可满足的查询,该查询对于搜索始终 returns 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).
当我询问两个常量是否是兄弟时,这很好,但如果我试图找到一个常量序言的兄弟 returns false。
?- brother(william,harry).
true
?- brother(william,X).
false.
我做错了什么?
问题就在这里X\=Y
这部分运气逻辑纯正因为\=/2
是non-monotonic。只是为了让它工作改变顺序:
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).