Minimal Logic Extension

Documentation

Files

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

Description

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.