谓词打印出“意外”错误

Question

我正在尝试编写谓词likes/2，其运行方式如下：

?- likes(A,alan).
A = lindsay ;
A = chloe ;
A = cheyanne ;
A = britney ;

这是我解决问题的方法：

% Define your facts:
combo(lindsay,alan).
combo(chloe,alan).
combo(cheyanne,alan).
combo(britney,alan).

% Define your predicate:
likes(A,B) :- combo(A,B); combo(B,A).

现在，我面临的问题是，虽然我的程序按预期运行，但在大多数情况下，它最后会打印出错误，我不明白为什么。这是完整的输出：

?- likes(A,alan).
A = lindsay ;
A = chloe ;
A = cheyanne ;
A = britney ;
false.

Answer 1

简短的回答。 Prolog 顶级解释器并不总是能够检测到没有更多的查询证明。因此，就您而言，在给出解决方案 A = britney 之后，它会询问您是否需要另一个解决方案。

在likes(A,alan) 查询的特定情况下，谓词的单个子句意味着推理引擎试图证明combo(A,alan); combo(alan,A)。此析取中的左侧目标为您提供了四个解决方案。但是正确的解决方案也可能提供一个或多个解决方案，但引擎只能通过尝试目标来解决这个问题，因为combo/2 的任何子句都没有将原子alan 作为第一个参数。未能证明正确的目标会给您带来false 打印。