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 Leuschel
Raum 25.12.02.60 · michael.leuschel@hhu.de