Questions tagged «sicstus-prolog»

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 给出的答案: …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.