Ich versuche, meine eigene WAM Umsetzung zu erstellen, und ich bin bei the exercise 2.4 Ich kann nicht verstehen, wie stecken 2.4 Anweisung unify_value X4 in Abbildung auszuführen. Soweit ich verstehe
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