Prolog Development Environment

Download

The development enviroment 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 development enviroment extends the runtime library. It additionally provides a deterministic debugger and various tooling. Among the tooling we find a component to execute tests cases which can also deliver a coverage analyses of Prolog text relative to some given test cases. More...

Studies

We regularly execute test cases, to assure the quality of the Prolog runtime library. The test cases use the test support of the Prolog development environment, therefore they are found here. The test cases examine the compatiblity with the ISO core Prolog standard, as well as the compatibility of the frequent predicates with their requirements. 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 Prolog development environment please consult the download page. More...