Minimal Logic Extension

Download

The extension is available in a Swing version and in a Android version. The Android/Dalvik combination usually runs slower than the Swing/Hotspot combination. This pages shows the current major version, which is also further developed. For previous frozen major versions please consult the archive page. More...

Documentation

The minimal logic extension provides a component for forward chaining. The component can be applied to normal Prologtexts, further there are Chart, CHR and ASP variants. The package also contains a attribute variables, constraint solvers for CLP(FD) and CLP(B), and a small computer algebra system (CAS) as well. More...

Studies

Concerning performance, we already did some extensive testing of CLP(FD). Further we regularly execute test cases, that assure the quality of the minimal logic extension. The test cases examine the validity of the constraint solvers, as well as the validity of the computer algebra system. More...

Archive

We deliver here past last frozen major versions of the Prolog interpreter, for the Swing as well as for the Android platform. These versions will not be any further developed. For the most recent versions of the minimal logic extension please consult the download page. More...