prolog - Prolog中的 "false"和 "no"有什么区别

Question

我是跟着书Programming in Prolog: Using the ISO Standard开始学习Prolog的.在语言介绍的第 7 页，他们做出了断言:“在 Prolog 中，答案 否 用于表示没有与问题一致。重要的是要记住 否 是不等于假”。那么为什么SWI-Prolog使用 false和 true声明而不是 yes或 no ?

Answer 1

首先，ISO 标准 (ISO/IEC 13211-1:1995) 没有定义
一个顶级循环。在 1 Scope 中，它写道:

NOTE — This part of ISO/IEC 13211 does not specify:

...

f) the user environment (top level loop, debugger, library
system, editor, compiler etc.) of a Prolog processor.

传统上，查询的答案是用是或否来回答的。如果是，则显示答案替换(如果存在)。

今天，随着答案中出现越来越多的约束，传统的顶级循环变得有点难以使用。正确答案是什么 ?- dif(X,a). ?它不能是 是 ，它可能是 也许 ，首先被 Jaffar et al.s CLP(R) 使用.但很多时候人们想要重复使用答案。

?- dif(X,a).
dif(X,a).

?- dif(b,a).
true.

?- true.
true.

继 Prolog IV 的开创性顶层之后，SWI 的想法是生成文本作为答案，以便您可以将其粘贴回以获得完全相同的结果。以这种方式，答案的语法在某种程度上被指定 - 它必须是有效的 Prolog 文本。

因此，如果不再有是，为什么不应该有？出于这个原因，SWI 给出了 false.作为答案。在 SWI 之前， Prolog IV确实回复了 false .例如，请注意 SWI 中的以下固定点:

?- true; false.
true ;
false.

因此，即使是这个微小的细节也会保留在答案中。而在 Prolog IV 中，这被折叠为 true因为 Prolog IV 一举显示了所有答案。

?- true ; false.

true.

有关答案的更多信息， see this .