Als «logical-purity» getaggte Fragen

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.
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.