Minimal Logic Extension
The extension is available in a Swing version and in a Android
version. The Android/Dalvik combination usually runs ~100 slower
than the Swing/Hotspot combination. The Android version has been
tested with earlier smartphones running Android 2 (Froyo) and with
newer tablets running Android 4 (Ice Cream Sandwich). More...
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. More...
We have open sourced practically every part of Jekejeke Minlog
except for some low level code for the trailing primitive, for
attribute variables and for clause references. The open source
includes the forward chaining component, and also based on it the
CLP(FD) and the chart parser. More...