href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_1.html">1 Getting and Starting CILOG</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_3.html">2 Help and Exiting</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_4.html">3 Syntax</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_5.html">4 Ask and Tell</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_6.html">5 Loading and Listing Knowledge Bases</a>
</li