Prolog Server für einen Jupyter Kernel via Logtalk
Umfang
Dieses Thema kann je nach Umfang als Bachelorarbeit, Projektarbeit oder Masterarbeit bearbeitet werden.
Empfohlene Vorkenntnisse
- gute Prolog Kenntnisse (z.B. durch Besuch der Veranstaltung “Einführung in die logische Programmierung”)
Problem
Aus einer Masterarbeit ist ein Jupyter Kernel für SICStus Prolog und SWI-Prolog herausgegangen. Intern wird ein JSON-RPC 2.0 Server verwendet um mit dem Prolog Interpreter zu kommunizieren.
Logtalk ist eine Sprache, die Prolog erweitert und auf derzeit 15 Prolog Interpretern ausgeführt werden kann. Die Idee ist es daher, den oben genannten Server für die (grundlegenden) Funktionalitäten in Logtalk neu zu schreiben, um alle von Logtalk unterstützten Implementierungen von Prolog anzusprechen.
Minimalanforderungen
- Logtalk Version der grundlegenden Funktionalitäten des JSON-RPC Servers
Erweiterungen
- Unterstützung von zusätzlichen Funktionalitäten, die Interpreter-spezifisch implementiert werden müssen
Kontakt
Philipp KörnerRaum 25.12.02.56
p.koerner@hhu.de