s runs on
<a href="http://www.swi-prolog.org/">SWI
  Prolog</a> version 5.3 or later.
  To run it, download SWI prolog and double click on <i>ailog2.pl</i>
  or in a shell do:
  <code>swipl ailog2.pl</code>
</li><li><a href="http://www.cs.ubc.ca/spider/poole/ci/code/cilog/cilog_man.html">CILog version 1</a> is an older version that does not
include probabilities, but has versions that run in older versions
of SWI Prolog and in Sicstus Prolog. Try that if you have problems
with this version.
</li><li><a href