SICStus Prolog

From MetaCentrum
Jump to navigation Jump to search


SICStus is built around a high performance implementation of logic programming language Prolog engine. SICStus Prolog provides two modes, first according ISO/IEC 13211-1 standard, the other is compatible with C-Prolog and Quintus Prolog. SICStus Prolog provides constraint programming with several constraint solvers


Please contact administrator, if you are interested in this program.


Upcoming modulesystem change alert!

Due to large number of applications and their versions it is not practical to keep them explicitly listed at our wiki pages. Therefore an upgrade of modulefiles is underway. A feature of this upgrade will be the existence of default module for every application. This default choice does not need version number and it will load some (usually latest) version.

You can test the new version now by adding a line

source /cvmfs/

to your script before loading a module. Then, you can list all versions of sicstus and load default version of sicstus as

module avail sicstus/ # list available modules
module load sicstus   # load (default) module

If you wish to keep up to the current system, it is still possible. Simply list all modules by

module avail sicstus

and choose explicit version you want to use.


Documentation is available on WWW server of producer or locally in directory /software/sicstus-4.0.8/doc/.