Prolog Parser und Interpreter für Gödel
Umfang
Dieses Thema kann als Bachelorarbeit und als Masterarbeit bearbeitet werden. Für die Masterarbeit sollte aus dem Interpreter noch ein Compiler generiert werden.
Empfohlene Vorkenntnisse
- gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
- für eine Masterarbeit: “Vertiefung logische Programmierung”
Problem
Gödel (https://en.wikipedia.org/wiki/Gödel_(programming_language) ist eine deklarative logische Programmiersprache. In dieser Arbeit soll ein Prolog Parser und Interpreter für diese Programmiersprache erstellt werden.
Minimalanforderungen
- funktionsfähiger Prolog Parser und Interpreter für eine Untermenge von Gödel
Erweiterungen
- Unterstützung der Standardmodule
- Ableitung eines Compilers vom Interpreter mit partieller Auswertung
- empirische Evaluation
Kontakt
Professor Michael LeuschelRaum 25.12.02.60 · michael.leuschel@hhu.de