2

我正在尝试以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.
4

1 回答 1

1

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

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

于 2015-01-28T01:05:45.093 回答