Minimale Logik Erweiterung

Herunterladen
Die Erweiterung ist in einer Swing Version und in einer Android Version verfügbar. Die Android/Dalvik Kombination läuft im allgemeinen ~100 langsamer als die Swing/Hotspot Kombination. Die Android Version wurde mit älteren Smartphones unter Android 2 (Froyo) und mit neueren Tablets unter Android 4 (Ice Cream Sandwich) getestet. Mehr...


Dokumentation
Die Minimale Logik Erweiterung liefert eine Komponente zur Vorwärtsverkettung. Die Komponente kann auf normale Prologtexte angewendet werden oder auch auf definite Klausel-Grammatiken (DCG). In dem Paket ist auch ein Constraintlöser für endliche ganzzahlige Domänen (CLP(FD)) enthalten, der mittels der Komponente realisiert wurde. Mehr...


Quellen
Wir haben praktisch alle Teile von Jekejeke Minlog offen gelegt ausser einigem Code auf niedriger Ebene für die Schleppprimitiven, Attributvariablen und Klauselreferenzen. Der offene Quellcode enthält die Komponente zur Vorwärtsverkettungs, und auf ihr basiered den CLP(FD) und den Chartparser. Mehr...


Studien
t.b.d. Mehr...