|PDF (397.8 kB)||ZIP (64.2 kB)|
|PDF (122.3 kB)|
|PDF (188.5 kB)|
|PDF (214.8 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.