Prolog中的自由变量

Question

谁能解释一下 Prolog 中自由变量的概念。它类似于匿名变量吗？或者有什么不同。如果给出一个例子来解释也可能很棒。

Answer 1

也许这会有所帮助。（如果我已经准备好了，我不妨发布它！仍然很难阅读，需要简化。）

事实上，你需要区分你是在谈论程序的语法，还是在谈论程序的运行时状态。

“变量”一词在这两种情况下的含义略有不同。在普通用法中，不做区分，这种流畅的用法提供的理解就足够了。但对于初学者来说，这可能是一个障碍。

在逻辑中，“变量”一词的含义是“从变量符号集中选择的符号”，它代表在满足其参与的逻辑公式所给出的任何约束时可能采用的可能无限的术语集。 . 这不是在推理实际程序时使用的“变量”。