SICStus Prolog
Description
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
License
Please contact administrator, if you are interested in this program.
Usage
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/software.metacentrum.cz/modulefiles/5.1.0/loadmodules
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
Documentation is available on WWW server of producer or locally in directory /software/sicstus-4.0.8/doc/.