当只存在一个时，Prolog 会尝试找到多个解决方案

Question

我做了一个基本谓词ascending/1检查列表是否按升序排列，在 https://swish.swi-prolog.org .

ascending([]).
ascending([_]).
ascending([X, Y| T]) :-
    X =< Y,
    ascending([Y|T]).

如果我查询 ?- ascending([1, 2, 4, 6]).，它会显示以下内容:

如，它试图找到更多的解决方案。按Next , 10 , 100或 1,000只返回 false ，这本身就是一个谜——同时是真的还是假的？也许是因为匿名 _ ?我定义的不够完整吗？为什么它不只是返回真实？

Answer 1

大多数 Prolog 系统都实现了第一个参数索引，这样可以避免创建虚假的选择点。假设绑定(bind)了第一个参数的调用，就您的代码而言，Prolog 运行时能够区分第一个子句(其第一个参数是原子)和其他两个子句(其第一个参数是列表) .但不能(通常)区分第二个和第三个子句，并避免为第一个参数是列表的目标尝试两者。这导致创建选择点。因此，您得到的结果:

?- ascending([1, 2, 4, 6]).
true ;
false.

但我们可以改进您的解决方案。例如:

ascending([]).
ascending([Head| Tail]) :-
    ascending(Tail, Head).

ascending([], _).
ascending([Head| Tail], Previous) :-
    Previous =< Head,
    ascending(Tail, Head).

我们现在将得到:

?- ascending([1, 2, 4, 6]).
true.

?- ascending([1, 2, 4, 6, 1]).
false.