Using SICStus

SICStus is a fast and efficient prolog interpreter and compiler. It has some constraint programming features, but we will mainly use it as an introduction to the powerful ECLiPSe and CLP(R) constraint programming languages.

To set up the correct path for SICStus, add the following to your .ownrc file):
PATH=$PATH":/opt/sicstus/sicstus2.1"
Thereafter, any time you log in you will have access to SICStus. If you want to use it immediately without logging out and back in, type the command
. .ownrc

Thereafter, to run SICStus, just type 'sicstus' to the unix prompt.

For documentation, look here. (this is a later version than we have, but there are few changes to the parts of SICStus we use here).