Umfang

Dieses Thema kann als Bachelorarbeit oder Teil einer Projektarbeit bearbeitet werden.

Empfohlene Vorkenntnisse

  • gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)

Problem

In plspec ist es möglich, Typen an Prolog Code zu annotieren. Diese Annotationen können dann zur Laufzeit überprüft werden. Ziel der Arbeit ist es, Annotationen hinzuzufügen, die Aussagen über das Backtracking-Verhalten von Prädikaten machen und entsprechende Runtime-Checks zu implementieren.

Minimalanforderungen

  • Hinzufügen von Annotationen
  • Implementierung von Runtime-Checks

Erweiterungen

  • statische Checks wo möglich

Kontakt

Philipp Körner
Raum 25.12.02.56
p.koerner@hhu.de