|PDF (373.7 kB)||ZIP (10.8 kB)||ZIP (62.8 kB)|
|PDF (122.3 kB)|
|PDF (184.9 kB)|
|PDF (214.6 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.