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

最新推荐文章于 2024-08-12 16:37:34 发布

Momself

最新推荐文章于 2024-08-12 16:37:34 发布

阅读量2.5k

点赞数

文章标签： kepserver尝试添加项失败

本文链接：https://blog.csdn.net/weixin_42316952/article/details/112076097

版权

本文深入探讨了Prolog项的细节，包括谓词如==和=，项的结构，运算符的属性，以及如何定义自定义运算符。文章通过示例介绍了比较项的谓词，如恒等性和一致性，以及项的内部表示，如复合项和表的构造。此外，还讲解了如何检查项的类型，如原子、数字和变量，以及如何使用functor/3和arg/3分析项结构。最后，讨论了运算符的优先级、关联性，并展示了如何定义新的运算符。

摘要由CSDN通过智能技术生成

本章有三个主要目标：

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