Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03285.jsonl.gz/2181

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...