swi-prolog.org/">SWI Prolog</a>
(version 5.4.0 or later). Install SWI Prolog, download
  <code>ailog2.pl</code>, then double-click on it or in a terminal run
  <code>swipl ailog2.pl</code>
  </li>
  <li>If you don't want probabilities or integrity constraints, you
  could also use the old <a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man.html">CILog</a>.</li>
  <li>There are some example programs related to <a
  href="http://artint.info">Artificial Intelligence: Foundations of
  Intelligent Agent