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
Initialize enviroment (module add sicstus-4.1.2) and run program "sicstus".
Documentation is available on WWW server of producer or locally in directory /software/sicstus-4.0.8/doc/.
Please contact administrator, if you are interested in this program.