prolog - Prolog 中如何解释匿名变量？

Question

一个快速而简单的问题，关于匿名变量在给定一组程序规则的 Prolog 查询解析中扮演什么角色。因此，我理解 SLD 解析的最简单形式是如何工作的，SLD 树是通过从一组目标项中取出一些项(基于选择规则，例如 FIRST)并遍历所有程序规则来查看哪个项来构建的。规则的左侧(可以说是结果)可以与手头的术语统一。统一两个给定项的方法是采用两个项的差异集，并查看是否可以用变量替换项以使差异消失，您可以通过连续获取最左边的单个差异并检查两个集合中是否存在来做到这一点构成差异，一个是另一个中没有出现的变量，并将当前的替换与将变量映射到术语上的一个组成(从空或恒等替换开始)。

现在，当匿名变量 (_) 发挥作用时，我怀疑正确有效地执行此操作的技巧在于更改确定两个术语之间最左侧差异的方式，以忽略一对术语，只要其中一个术语是匿名变量。显然正确的方法是重命名目标中 _ 的每个实例，并将程序设置为新的变量名称并使用这些变量进行求解。

实际上是如何完成的？我的想法是否足够，或者还有更多内容吗？ (另外，如果我理解 SLD 解析工作的方式中缺少某些内容，除非否定、调用、封装、算术谓词和更复杂的东西，我将非常感激。)

Answer 1

Prolog 匿名变量在 SLD 解析或术语统一中不起任何作用，但在 Prolog 代码和 Prolog 查询中发挥实际作用。匿名变量的一个基本方面是匿名变量的每次出现都是不同的变量。考虑以下查询:

| ?- a(_, _) = a(1, 2).

yes

如果两个匿名变量是同一个变量，统一就会失败。现在考虑查询:

| ?- a(X, _) = a(1, 2).

X = 1
yes

仅报告非匿名变量的变量绑定(bind)。这允许每次我们对变量的任何绑定(bind)不感兴趣时​​使用匿名变量。

匿名变量还简化了谓词定义的编写，它们同样充当“不关心”变量。以 member/2 谓词的通常定义为例:

member(Element, [Element| _]).
member(Element, [_| List]) :-
    member(Element, List).

在第一个子句中，我们不关心列表尾部。在第二个子句中，我们不关心列表头。通过使用匿名变量，我们可以忽略这些子术语，并避免编译器提示在子句中使用一次的变量。

更新

请注意，查询中的所有不同变量都会获得唯一的内部变量引用，不要与用户键入的变量名称混淆。变量名称仅由顶级解释器用于报告成功查询的绑定(bind)。用于证明查询使用变量(内部)引用的推理机制。以下查询使用带有标准选项的 ISO Prolog 标准 read_term/2 谓词可能会有所帮助:

| ?- read_term(Term, [variable_names(Names), variables(Variables)]).
a(X, _, Y, _).

Names = ['X'=A,'Y'=B]
Term = a(A,C,B,D)
Variables = [A,C,B,D]

yes

在术语“read”中，有四个不同的变量，但其中只有两个具有(用户提供的)名称。