These assignments assume you are running
CILog, which can be
ported to many different Prologs (get
cilog.pl. It has been tested with both SWI Prolog and
Sicstus
Prolog (and so on all department machines) with minor modifications).
Here are all of the assignments handed out so far: