prolog - 为什么序言使用最通用的统一器而不是简单的统一器

Question

Prolog 使用最通用的统一器而不是统一器，为什么会这样？

如果我没有错，那么我认为，由于 Prolog 是基于回溯的，如果我们不使用最通用的统一器，那么我们会错过某些变量统一的组合？

Answer 1

最通用的合一器与仅合一器之间的区别显示了结果项何时仍包含变量。考虑最一般的统一问题:

?- X = Y.

具体的统一器是:

X = a, Y = a.

还有

X = 23, Y = 23.

等等。

所以有很多这样的可能结果。然而，我们想要得到所有。这就是最通用的统一器所做的:

X = Y.

或

Y = X.

仍然有两个，但是如果上下文需要，这种歧义将被忽略，添加“重命名(变量)”。