prolog - 为什么 `X=1,X=1.` 打印 `X=1` 而不是 `true`

Question

我正在学习 Prolog 的基础知识，我想知道为什么下面一行打印 X = 1 而不是 true？

?- X=1,1=X.
X = 1.

--

我的命令中的第一个 X=1 是赋值，第二个是相等检查。

Answer 1

您的查询中没有赋值或相等测试，只有术语的统一。通过将变量 X 与 1 统一，查询成功，这就是顶级报告的内容:它告诉哪个变量绑定(bind)使查询为真。

在合取中的第一个目标 X = 1 成功后，第二个目标是统一 1 = 1，这基本上成功了。

附注另请注意，Prolog 系统报告成功查询的方式有所不同。有些打印 true，其他打印 yes(报告成功查询的传统方式)。