SICStus Prolog

Z MetaCentrum
Přejít na: navigace, hledání

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

Use

Initialize enviroment (module add sicstus-4.1.2) and run program "sicstus".

Documentation

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

Licence

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

Supported platforms

Linux

Program administrator

Hana Rudová

Homepage

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