Umfang

Dieses Thema ist für eine Projektarbeit oder eine praktische Bachelorarbeit geeignet.

Empfohlene Vorkenntnisse

  • gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
  • Grundkenntnisse im Compilerbau sind nicht notwendig, können aber helfen Ecce besser zu verstehen.

Problem

Ecce ist ein Werkzeug zur Spezialisierung und Optimierung von Prolog Programmen. Ecce wurde in Sicstus Prolog 3 entwickelt und soll auf Sicstus 4 migriert werden. In diesem Zusammenhang sollen auch vermehrt Prolog Module zur Strukturierung verwendet werden. Das Kommandozeilen-Interface soll auch verbessert werden. Die Unit Tests können auch auf plunit umgestellt werden.

Minimalanforderungen

  • Ausführbare, verbesserte Version von Ecce
  • Verwendung von Modulen

Erweiterungen

  • Besseres Interface
  • Umstellung auf plunit

Kontakt

Professor Michael Leuschel
Raum 25.12.02.60 · michael.leuschel@hhu.de