Ich suche nach einer Forschungsarbeit oder einer anderen Publikation, die verschiedene abstrakte Maschinen (mehr als eine) für die Ausführung von Prolog mit Prolog-Interpretern vergleicht, die nicht auf abstact-Maschinen basieren. Was ich bisher gesehen habe, ist, dass die Mehrheit der Implementierungen ihre Prolog-Interpreter auf Warren Abstract Machine basieren, obwohl auch andere abstrakte Maschinen vorgeschlagen wurden (z. B. Vienna Abstract Machine , Baum-orientierte abstrakte Maschine ) und es gibt keinen allgemeinen Vergleich. Ich interessiere mich für den Vergleich der Effizienz ( nicht Features), obwohl alle verglichenen Interpreter für Constraint-Logik-Programmierung zulassen sollten.
Sie können Constraint-Logik-Programmierung auf dem normalen Prolog aufbauen wenn Sie einige Primitive für einen gezogenen Constraint-Speicher einführen und einige Primitive für Vereinigungshaken. Zum Beispiel:
SICStus Prolog: Attributierte Variablen
Ссылка
Jekejeke Minlog: Kleiner Solver
Ссылка
Ссылка
Natürlich können Sie die zusätzlichen Grundelemente als neue Anweisungen ansehen in der abstrakten Maschine. Aber in beiden Fällen sind die Primitiven auf der Prädikatstufe hinzugefügt, so dass sich die Frage stellt, ob da ist wirklich eine Notwendigkeit für eine abstrakte Maschine für Constraint Logik Programmierung.
Natürlich finden Sie ein paar Vorschläge zur Constraint-Logik-Programmierung abstrakte Maschinen auch durch Google.
Tschüss
Tags und Links prolog warren-abstract-machine abstract-machine