冻结/ 2的意外行为

我在玩序言相关谓词freeze/2和frozen/2：

?- freeze(X,a=a), frozen(X,Goal).
?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal).

sicstus-prolog（x86_64的版本4.5.1）给出了以下答案：

| α-冻结（X，a ＝ a），冻结（X，目标）。
目标= prolog：freeze（X，user：（a = a）），
prolog：freeze（X，user：（a = a））吗？;
没有
| α-冻结（X，a ＝ a），冻结（Y，b ＝ b），X ＝ Y，冻结（X，目标）。
Y = X，
目标=（用户：（a = a），序言：冻结（X，用户：（b = b））），
序言：冻结（X，用户：（a = a）），
prolog：freeze（X，user：（b = b））吗？;
没有

现在没想到！Goal = prolog:freeze(X,user:(a=a))

我所期望的是swi-prolog版本8.0.3 给出的答案：

α-冻结（X，a ＝ a），冻结（X，目标）。
目标=用户：（a = a），
冻结（X，a = a）。
α-冻结（X，a ＝ a），冻结（Y，b ＝ b），X ＝ Y，冻结（X，目标）。
X = Y，
目标=（用户：（a = a），用户：（b = b）），
冻结（Y，a = a），
冻结（Y，b = b）。

可以说SICStus答案和 SWI答案都是正确的...

但是，对于SICStus给出的某些特殊答案，是否有更深层的原因？

我不知道这种差异是否有任何“深刻的”原因。由于frozen/2是属性变量的通用接口，因此对于非特殊情况的freeze/2目标来说是有意义的。

实际上，直到4.5.1，SICStus都尝试了特殊情况的freeze/2目标，但有时失败了。这就是为什么您看到user:(a=a)第一个子目标的原因。在下一发行版中，我们对此进行了更改，因此结果将变为Goal = (prolog:freeze(X,user:(a=a)),prolog:freeze(X,user:(b=b)))（并且我们还对进行了其他改进frozen/2）。