|PDF (372.7 kB)||ZIP (10.8 kB)||ZIP (62.9 kB)|
|PDF (122.3 kB)|
|PDF (183.4 kB)|
|PDF (201.5 kB)|
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.