Minimale Logik Erweiterung

Dokumentation

Dateien

Beschreibung Offline Online
Language Reference PDF HTML
Programming Interface PDF HTML
Installation Guide PDF HTML
Frequent Predicates PDF HTML

Beschreibung

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.