Als «prolog-coroutining» getaggte Fragen

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 = …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.