1 Getting and Starting CILOG

1 Getting and Starting CILOG

To start CILOG you find the cilog executable (~cs322/cilog/cilog) and run it. The following should work on the UBC undergraduate machines (or a similar setup at other locations). User input is in bold:

pender.ugrad.cs.ubc.ca% ~cs322/cilog/cilog
CILOG Version 0.14. Copyright 1998-2004, David Poole.
CILOG comes with absolutely no warranty.
All inputs end with a period. Type "help." for help.
cilog:

Alternatively, you can load the file cilog.pl and type "start." Currently we have:

• cilog_swi.pl for SWI Prolog, version 5.4 or later (or cilog_swi_old.pl for older versions of SWI Prolog). SWI Prolog runs on Windows and most Unix platforms (including Linux), and is free for non-commercial uses.
• cilog_sics.pl for Sicstus Prolog. Loading this file should just start CILog. This version is no longer supported.

The following shows a trace of starting CILOG assuming "pl" starts SWI Prolog:

[pender: cs322/cilog] 33 % pl -f ~cs322/cilog/cilog_sics.pl

CILOG Version 0.14. Copyright 1998-2004, David Poole.
CILOG comes with absolutely no warranty.
All inputs end with a period. Type "help." for help.
cilog: 

• Version Changes

1 Getting and Starting CILOG