SICStus Prolog

From MetaCentrum
Jump to navigation Jump to search

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/.

Homepage

URL: http://www.sics.se/isl/sicstuswww/site/index.html