时间戳

首页 > 解决方案 > Prolog assert/1 对传递的术语有什么作用？

prolog - Prolog assert/1 对传递的术语有什么作用？

问题描述

我试图了解断言和撤回对它们通过的术语的作用。如果我运行以下命令：

?- assertz(item(first)).
true.

?- assertz(item(second)).
true.

?- assertz((item(Y) :- =(Y, third), writeln(Y))).
true.

?- retract(item(X)).
X = first ;
X = second ;
false.

收回/ 1 删除所有项目，但我的 writeln/1 从未被调用，所以看起来收回实际上并没有解决它通过的术语。看起来它正在执行一些特殊操作：

这是正确的吗？还是这里发生了其他事情？

换一种说法：如果我编写自己的单参数规则，Prolog 不会自动将 item(X) 与数据库统一并遍历所有 item/1 的事实。它只是给了我项目（X）。收回是如何发挥它的魔力的？

?- assertz((myRule(X) :- writeln(X))).
true.

? myRule(item(X)).
item(_2556)
true.

进一步澄清的回答： 根据 User9213 的回答，答案似乎是“撤回（但不是断言！）有一个有趣的行为，它在对数据库执行某些操作之前对其术语进行了简单的统一”。我想知道为什么我见过的其他内置函数（如 atom/1 和 writeln/1）似乎没有这样做。也许它比我经历过的更常见？

为了保持一致性，retract 似乎应该需要基本术语，如果用户想做类似我上面例子的事情，他们可以这样做：

?-（项目（X），收回（项目（X）））。

这一切都让我觉得我错过了一些东西，或者这些内置功能可能只是设计不一致？任何可以解释这一点的澄清都会很棒。

标签： prolog

解决方案

为了将我的声音添加到合唱中，是的，所有这些谓词（assert*, retract*）都在操纵 Prolog 的事实和规则数据库；他们不会把他们的论点当作事实或规则来评估。是的，他们只是在他们的论点与数据库中的事实和规则之间进行“句法”统一。

Prolog 是一种谐音语言。程序可以像数据一样被操纵；数据结构可以像程序一样被解释。最重要的是：某个结构是数据还是程序仅取决于上下文。

你似乎明白这一点，但对于下一个偶然发现你的问题和这个答案的可怜人来说，这里有一个玩具例子来演示。

如果它的参数是一个原子，则有一个内置谓词成功：atom/1

?- atom(foo).
true.

?- atom(Bar). % Bar is a free variable, which is not an atom
false.

?- atom(atom(bar)). % atom(bar) is a compound term, which is not an atom
false.

但是atom(bar)只是最后一个查询中的复合词。它是一个具有函子原子/1 的复合项。它唯一的论据是一个原子。因此，如果您现在查询它：

?- atom(bar).
true.

还有一个非常好的谓词叫做call. 它使模糊程序和数据之间的界限变得更加容易。以下三个查询的含义相同：

?- atom(bar).
true.

?- call(atom, bar).
true.

?- call(atom(bar)).
true.

此外，您可以动态（在运行时）创建数据结构并将其评估为程序。这是一个简单的实现call/2，可以评估谓词，提供谓词名称和参数列表。它使用“univ”构造复合术语，并通过将其放置在应该是子目标的槽中来对其进行评估。我会调用它my_call/2，然后使用以下命令将其添加到数据库中assertz：

?- assertz((my_call(Name, Args) :- Goal =.. [Name|Args], Goal)).
true.

?- my_call(between, [1, 3, X]).
X = 1 ;
X = 2 ;
X = 3.

你明白发生了什么吗？（注意：这似乎call是 Prolog 的一个相对较新的补充。在call广泛使用之前，如果你想元调用谓词，你必须这样做。我从经验中不知道这一点，只是根据我的事情进行了有根据的猜测已经阅读或听说过，现在懒得引用了。）

所以，让我们再试一次。实际上，事情更复杂，但非常简单：

Prolog 程序是一组谓词。未订！

每个谓词都是一个子句列表。它是一个列表，因为谓词可能有 0 个或多个子句，并且它们具有顺序。

子句可以是事实或规则。

规则是具有函子的复合术语:-/2。是的，这是正确的。看看我的意思：

?- assertz(:-(foo(X), between(1, 3, X))).
true.

?- listing(foo/1).
:- dynamic foo/1.

foo(A) :-
    between(1, 3, A).

true.

这只是另一种写法。它更传统。

所以确实，这两个是非常不同的：

foo(X). % a fact
foo(X) :- between(1, 3, X). % a rule

你无法将一个与另一个统一起来。这就是为什么，如果你想收回foo(X) :- between(1, 3, X)，你不能只是foo(X)作为参数传递给收回。或者，要完成您的示例：

?- assertz(item(first)).
true.

?- assertz(item(second)).
true.

?- assertz((item(Y) :- =(Y, third), writeln(Y))).
true.

?- retract(item(X)).
X = first ;
X = second ;
false.

?- retract((item(X) :- X = Y, writeln(X))).
Y = third.

你现在看到了吗？

推荐阅读