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 langsamer als die Swing/Hotspot Kombination. Diese Seite zeigt die aktuelle Hauptversion die auch weiterentwickelt wird. Für vorgängige eingefrorene Hauptversionen sei auf die Archive Seite verwiesen. 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...


Studien
Bezüglich der Performance haben wir bis jetzt CLP(FD) ausführlich untersucht. Weiter führen wir regelmässig Testfälle durch, die die Qualität der Minimalen Logik Erweiterung sicherstellen. Die Testfälle prüfen sowohl die Verträglichkeit der Bedingungslöser als auch die Verträglichkeit des Computeralgebra Systems. Mehr...


Archiv
Wir liefern hier vergangene letzte eingefrorene Hauptversionen des Prolog Interpreters sowohl für Swing als auch für Android. Diese Versionen werden nicht mehr weiter entwickelt. Für die aktuelleste Version der Minimale Logik Erweiterung sei auf die Herunterladen Seite verwiesen. Mehr...