prolog - 序言失败的统一

Question

谁能告诉我为什么会失败？

f(X,X) = f(a,b).

我的假设是 X 首先被实例化为 a，然后被删除，然后是 b，使得 X = b。尝试一下，我发现我错了，但我不知道为什么。

谢谢你。

Answer 1

统一总是赋予变量一致的含义。没有 X 的值可以f(X,X) = f(a,b)成立。如果你说

f(X) = f(a); f(X) = f(b).

然后你会得到一个更像你期望的结果。