gpt4 book ai didi

prolog - swi-prolog 中的不相等操作

转载 作者:行者123 更新时间:2023-12-05 09:17:35 30 4
gpt4 key购买 nike

我正在尝试比较 prolog 中的两个 peano 数,但有些结果是错误的。

任何人都可以帮助我,这是我的代码:

%Not Equal
notequal(0,s(A),X).
notequal(s(A),0,X).
notequal(s(A),s(B),C):- A/=B .

%Not Equal
notequal(0,s(A),X).
notequal(s(A),0,X).
notequal(s(A),s(B),C):- minus(A,s(0),S1),minus(B,s(0),S2),notequal(S1,S2,C) .

输出:

?- notequal(s(0),s(s(0)),S).
false.

?- notequal(s(0),0,S).
true .

?- notequal(0,s(0),S).
true.

第一次输出错误

谢谢。

最佳答案

对于这样的谓词,您不需要三个参数,毕竟您想要描述两个数字之间的关系。你的最后一条规则应该再次调用谓词本身:

notequal(0,s(_)).
notequal(s(_),0).
notequal(s(A),s(B)) :- % s(A) and s(B) are not equal if
notequal(A,B). % A and B are not equal

这会产生您想要的答案:

?- notequal(0,0).
false.

?- notequal(0,s(0)).
true.

?- notequal(s(0),s(0)).
false.

?- notequal(s(s(0)),s(0)).
true ;
false.

?- notequal(s(s(0)),0).
true ;
false.

你也可以只用一个实例化的参数来使用它:

?- notequal(s(0),B).
B = 0 ;
B = s(s(_G2450)).

?- notequal(A,s(0)).
A = 0 ;
A = s(s(_G2450)).

如您所见,这两个答案涵盖了所有可能性。即使是最一般的查询也能产生解决方案:

?- notequal(A,B).
A = 0,
B = s(_G2456) ;
A = s(_G2456),
B = 0 ;
A = s(0),
B = s(s(_G2460)) ;
A = s(s(_G2460)),
B = s(0) ;
A = s(s(0)),
B = s(s(s(_G2464))) ;
.
.
.

关于prolog - swi-prolog 中的不相等操作,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47591329/

30 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com