Detailinformation

	Diplomarbeit
Titel	Implementierung eines Prolog-Interpreters für die Vienna Abstract Machine mit einem und zwei Befehlszeigern
Autor	Dorner, Fernando
Erscheinungsjahr	1997
Inventardatum	20.02.1997
Abstract	Die vorliegende Diplomarbeit beschreibt die Implementierung eines kombinierten Prologcompilers und Prologinterpreters, der VAM2&1P, auf der Basis der Vienna Abstract Machine (VAM). Verschiedene Varianten dieser abstrakten Maschinen wurden für unterschiedliche Zwecke entworfen. Die VAM2P eignet sich gut für einen schnellen Interpreter für kompakten Zwischencode, die VAM1P unterstützt eine noch schnellere Ausführung der Prologprogramme auf Maschinencodebasis. Die VAM2&1P nützt die Vorteile der VAM2P und der VAM1P, indem sie einen ähnlichen kompakten Zwischencode wie des Interpreters VAM2P verwendet und für selbstrekursive Klauseln einen optimierten Zwischencode ausführt. Der Hauptteil dieser Diplomarbeit beschreibt die Implementierungen der VAM2P, VAM1P und VAM2&1P. Anhand einiger Prologbeispiele wird die Übersetzung in Zwischencode, das Speichermodell und die Arbeitsweise des (Zwischencode-)Interpreters dargestellt.
Status	Verfügbar