zipc kompiliert Prolog für die ZIP-Maschine von 1984 – um trilog schneller zu machen
A ZIP-style Prolog VM for trilog
Ein WIP-Projekt, das Prolog-Klauseln in die ZIP-Virtualmaschine aus Clocksins Paper von 1984 kompiliert. Der in Prolog geschriebene Compiler läuft auf Scryer Prolog und erzeugt ein binäres Image, das eine in C implementierte VM lädt und ausführt. Weil trilog Klauseln bisher mit dem ABC-Algorithmus als Terme interpretiert, sollen dieselben Programme kompiliert in weniger Instruktionen und mit weniger Speicher laufen – ob zipc zum Backend von trilog wird, ist noch offen.
Entweder wird zipc das Backend von trilog, falls das MVP gelingt, oder es bleibt einfach eine schnellere, separate kompilierbare Prolog-Runtime – ich bin mir noch nicht wirklich sicher.
- donutdonot
Prolog ist so eine seltsame und doch interessante Sprache. Das war eine lustige Zeit, als ich sie an der Uni programmieren musste.
Gibt es heutzutage noch moderne Anwendungsfälle für Prolog, oder ist es eher von akademischem Interesse?