1
冻结/ 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 给出的答案： …