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, ausserdem gibt es Chart, CHR und ASP Varianten. In dem Paket sind auch Attributvariablen, Constraintlöser für CLP(FD) und CLP(B) enthalten, sowie ein kleines Computer Algebra System (CAS). 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...