Minimal Logic Extension



Description Offline Online
User Manual Android PDF HTML
User Manual Swing PDF HTML
Language Reference PDF HTML
Programming Interface PDF HTML
Installation Guide PDF HTML
Frequent Predicates PDF HTML


The minimal logic extension provides a component for forward chaining. The component can be applied to normal Prologtexts or it can be also applied to definite clause grammars (DCG). The package also contains a constraint solver for finite integer domains (CLP(FD)), which has been realized by means of the component.