warren-abstract-machine

Gibt es in einem Prolog-Programm einen GNU-Prolog-Befehl, um den WAM-Code relativ zu diesem Programm anzuzeigen?     

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