Als «prolog» getaggte Fragen

2
Was sind die wichtigsten technischen Unterschiede zwischen Prolog und miniKanren in Bezug auf die Logikprogrammierung? [geschlossen]
Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 3 Jahren . Verbessere diese Frage Wenn ich mich über Logikprogrammierung …

2
Verwendung redundanter Ziele in Abfragen
(Auf Vorschlag von @repeat ) Betrachten Sie eine Abfrage eines reinen Programms. 1 ?- G_0. Was nützt die Abfrage, wenn überhaupt ?- G_0, G_0.? Fußnoten 1 Keine Einreichung (um sicher zu gehen), Einschränkungen sind in Ordnung. Vorheriger Beitrag zum Thema.

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.