8
Ich bin auf der Suche nach Forschungsarbeit oder einer anderen Publikation, die verschiedene abstrakte Maschinen (mehr als eine) für die Ausführung von Prolog mit Prolog-Interpreter nicht auf abstact Maschinen vergleichen. Was ich bisher gesehen habe, ist, dass die Mehrheit der Implementierungen ihre Prolog-Interpreter auf Warren Abstract Machine zu basieren scheint, obwohl andere abstrakte Maschinen vorgeschlagen wurden (zB Vienna Abstract Machine,) und es gibt keinen allgemeinen Vergleich. Ich interessiere mich für den Vergleich der Effizienz (nicht Features), obwohl alle im Vergleich Dolmetscher sollte Constraint-Logik-Programmierung ermöglichen.Vergleich von abstrakten Maschinen für die Ausführung von Prolog
Siehe http://stackoverflow.com/questions/4478615/alternatives-to-the-wam/4504325 Es ist nicht, was sonst löschen Sie durch einen Vergleich bedeuten könnte. Was Sie mit "Ausführung von Prolog mit Prolog-Interpretern, die nicht auf abstrakten Maschinen basieren" meinen, ist mir nicht klar: Jede Implementierung basiert auf einer abstrakten Maschine. – false
@false, ich kann Prolog Interpreter mit C++ schreiben und dann wird es nicht auf einer abstrakten Maschine basieren. Und im Vergleich meine ich zum Beispiel zu testen, wie effizient (in Bezug auf Rechenzeit, Speicherverbrauch) jeder Interpreter arbeitet. –
Auch dann verwenden Sie eine abstrakte Maschine. Es müssen noch viele Entscheidungen getroffen werden. Denken Sie an Backtracking/Trailing. – false