Minimal Logic Extension

Documentation

Files

Description Offline Online
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.