1
Unerwartetes Verhalten von Frozen / 2
Ich habe mit den Prolog-Coroutining- Prädikaten herumgespieltfreeze/2 und frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (Version 4.5.1 für x86_64) gab folgende Antworten: | Einfrieren (X, a = a), eingefroren (X, Ziel). Ziel = Prolog: Einfrieren (X, Benutzer: (a = a)) , Prolog: einfrieren (X, Benutzer: (a = …