kepserver尝试添加项失败_理解项

本章有三个主要目标：

1.引入==谓词。

2.仔细研究项结构。

3.介绍运算符。

1  比较项

Prolog包含一个用于比较项的重要谓词，即恒等谓词== / 2。顾名思义，这测试了两个项是否相同。但是== / 2不会实例化变量，因此它与合一谓词= / 2不同。让我们看一些例子。

?- a == a.

true

?- a == b.

false

?- a == ’a’.

true

尽管要注意最后一个，但Prolog提供这些答案的原因应该很清楚。它告诉我们，就Prolog而言，a和“ a”是同一对象。

现在，让我们看一下涉及变量的示例，并将==与合一谓词=进行显式比较。

?- X==Y.

false.

?- X=Y.

X = Y.

在这些查询中，X和Y是未实例化的变量；我们没有给他们任何值。因此，第一个答案是正确的：X和Y不是相同的对象，因此==测试失败。另一方面，=的使用成功，因为X和Y可以合一。

现在让我们看一下涉及实例化变量的查询：

?- a=X, a==X.

X = a.

第一个结合 a = X将X绑定到a。因此，当评估a == X时，左侧和右侧是完全相同的Prolog对象，并且a == X成功。

以下查询发生类似的事情：

?- X=Y, X==Y.

X = Y.

结合X = Y首先将变量X和Y合一。因此，当评估第二结合X == Y时，这两个变量是完全相同的Prolog对象，第二结合也成功。

现在应该清楚地知道=和==是不同的，但是它们之间存在着重要的关系：==可以被视为比=更强大的项之间相等性检验。也就是说，如果term1和term是Prolog项，并且查询term1 == term2成功，则查询term1 = term2也将成功。

另一个值得了解的谓词是\ ==。定义此谓词是为了在==失败的情况下成功执行该谓词。也就是说，只要两个项不相同，它就会成功，否则就会失败，例如：

?- a \==a.

false.

?- a \==b.

true

?- a \== ‘a’.

false.

这些答案应该是可以理解的：它们与使用==时得到的答案完全相反。现在考虑：

?- X \==a.

true.

为什么会这样回应？好了，我们从上面知道查询X == a失败了(回想==处理未实例化变量的方式)。因此，查询X \ == a应该成功，并且可以。

类似地：

?- X \== Y.

true.

再次，我们从上面知道查询X == Y失败，因此查询X \ == Y成功。

2   带有特殊符号的项

有时候项对我们来说看起来有所不同，但是Prolog认为它们是相同的。例如，当我们比较a和’a’时，我们会看到两个不同的符号字符串，但是Prolog将它们视为相同。实际上，在许多其他情况下，Prolog认为两个字符串是完全相同的项。为什么？因为它使编程更加愉快。有时，Prolog喜欢的表示法不如我们选择的那样易于使用。因此，能够以我们认为很自然的表示法编写程序，并让Prolog以其喜欢的表示法运行它们，这是很好的。

算术项

前面介绍的算术谓词就是一个很好的例子。如第5章所述，+，-，*和/是函子，而2 + 3等算术表达式是项。这不是一个比喻。除了它可以借助is / 2谓词对它们进行求值外，Prolog还认为诸如2 + 3之类的符号字符串与普通复合项相同。以下查询清楚地表明了这一点：

?- 2+3 == +(2,3).

true

?- +(2,3) == 2+3.

true

?- 2-3 == -(2,3).

true

?- *(2,3) == 2*3.

true

?- 2*(7+2) == *(2,+(7,2)).

true

简而言之，熟悉的算术符号在这里为我们提供了方便。 Prolog认为它与通常的项表示法没有什么不同。

与算术比较谓词<，= <，=:=，=\=，>和>=的类似说明：

?- (2 < 3) ==

true.

?- (2 =< 3) == =

true.

?- (2 =:= 3) == =:=(2,3).

true.

?- (2 =\= 3) == =\=(2,3).

true.

?- (2 > 3) == >(2,3).

true.

?- (2 >= 3) == >=(2,3).

true.

这些示例说明了为什么使用用户友好的符号会很好(您是否要使用=:=(2,3)之类的表达式？)。请注意，顺便说一下，我们将左边参数括在括号中例如，我们没有问

?-  2 =:= 3 == =:=(2,3).

我们问

?- (2 =:= 3) == =:=(2,3).

为什么？好吧，Prolog发现查询2 =:= 3 == =:=(2,3)令人困惑，让我们面对现实吧，您能怪吗？不确定是否将该表达式放在(2 =:= 3)== =:=(2,3)(这就是我们想要的)或2=:=(3 == =:=(2,3))。因此我们需要明确说明分组。

最后一句话。现在，我们介绍了三个外观相似的符号，即=，==和=:=(实际上，还有\ =，\ ==和=\=)。总结如下：

= 合一谓词。

如果可以合一其参数，则成功，否则失败。

\= 合一谓词的否定。

如果=失败，则成功，反之亦然。

== 一致性谓词。

如果其参数相同，则成功，否则失败。

\== 一致性谓词的否定。

如果==失败，则成功，反之亦然。

=:= 算术相等谓词。

成功，如果其参数评估为相同的整数。

=\= 算术