Instructions to access Sicstus Prolog:

1. You can download and install an evaluation version of Sicstus:

a. Go to http://www.sics.se/isl/sicstuswww/site/eval.html and fill in the form.

b. A time-limited key will be sent to you by email. Note that the key is 30 days valid and it will expire at the end of the period.

c. Go to the webpage mentioned in the email.

d. Enter your login name password which are enclosed in the email.

e. Download Sicstus 4 that is appropriate to your Operating System.

f. Enter Decryption key, Site name, License code, and Expiration date as mentioned in the email.

2. You can connect to one of the CSIL machines and run Sicstus on it:

a. Download SSH Secure Shell (or putty) Download

b. Install SSH Secure Shell on your system.

c. You have to first connect to fraser.sfu.ca and from there to your destination:

· Open SSH Secure Shell -> Secure Shell Client

· Click on Quick Connect button on the menu

· Type the host name as: fraser.sfu.ca

· Enter your username

· Click on Connect and enter your CNN’s password

d. Then, you connect to one of the CSIL linux based machines.

· Type in “ssh apple.csil.sfu.ca” (or any of csil linux machines e.g. lemon.csil.sfu.ca)

· Enter your CNN’s password

· If you get a "host key verification failed" error, remove workstation's name form .ssh/known_hosts file (located in home directory) and try again.

a. type in Sicstus and enter.

b. Prolog by default looks for your files in the current directory where you start sicstus.

3. If you do not have SSH Secure Shell or putty installed, you can remote desktop to one of the terminal servers: First, follow one of the following 3 methods:

a. From Windows XP, Windows Server 2003:

Run Start Menu -> All Programs -> Accessories -> Communications -> Remote Desktop Connections
Type the hostname as: leto.csil.sfu.ca, click button: Connect

b. From Windows Vista:

Run Start Menu -> All Programs -> Accessories -> Remote Desktop Connections
Type the hostname as: leto.csil.sfu.ca, click button: Connect

c. From command line / command prompt:

run command: mstsc /v:leto.csil.sfu.ca

d. Put in the credential information as follows

· User name: username

· Password: your CCN password

e. Open SSH Secure Shell -> Secure Shell Client

f. Follow instructions from 2.c to connect to one of CSIL machines.