1
frozen / 2の予期しない動作
私はで遊んでたプロローグcoroutining述語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）はこれらの答えを出しました： | ？-freeze（X、a = a）、frozen（X、Goal）。 目標= prolog：freeze（X、user：（a = a））、 prolog：freeze（X、user：（a = a））？; 番号 | ？-freeze（X、a = a）、freeze（Y、b = b）、X = Y、frozen（X、Goal）。 Y = X、 目標=（user：（a = a）、prolog：freeze（X、user：（b = b）））、 prolog：freeze（X、user：（a = a））、 prolog：freeze（X、user：（b = b））？; 番号 今は期待していませんでした！Goal = prolog:freeze(X,user:(a=a)) 私が期待していたのは、swi-prologバージョン8.0.3で与えられたような答えです。 ？-freeze（X、a …