1

我正在尝试编写一个带有规则的 Prolog 程序，该规则good需要一个列表，其中列表中的每个术语都是一个 Peano 数。当且仅当列表中的每个元素都大于前一个元素时，该规则才应该为真。

例如，以下示例应该是正确的：

good([]).
good([0]).
good([0,s(0)]).
good([0,s(s(0))]).
good([0,s(0),s(s(0))]).

以下示例应该是错误的：

good([s(0),0]).
good([0,s(0),0]).

这是我的代码：

plus(X,0,X).
plus(X,s(Y),s(Z)) :- plus(X,Y,Z).

geq(X,Y) :- plus(K,Y,X).
ge(X,Y) :- geq(X,Y), not(X = Y).

good([]).
good([X]).
good([H|T]) :- good(H,T).
good(X,[H|T]) :- ge(H,X), good(T).

但是，对于肯定查询good([0,s(0),s(s(0))])，真假都是解决方案。

错误是什么？

4

1 回答 1

1

请看这个答案。回溯后先获取true再获取false，只是表示它找到了答案，然后应您的要求尝试了不同的路径，然后找不到任何其他路径可以到达true，所以返回false。

换句话说，正如那个回答者所说，

false响应对于初级 Prolog 程序员来说可能看起来不一致，并且“感觉”像一个错误或警告，但它实际上是一个完全正常的 Prolog 响应。

于 2014-02-03T15:04:27.950 回答