ract">Abstract</h3><p>
This manual describes CILOG, a simple representation and
reasoning system based on the book <a href="http://www.cs.ubc.ca/spider/poole/ci.html"><cite>Computational Intelligence: A
Logical Approach</cite></a> <a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_18.html#PooMacGoe97a">[1]</a>. CILOG provides:
</p><ul><li>a definite clause representation and reasoning system
</li><li>a simple tell-ask user interface, where the user can tell the
system facts and ask questions of th