</li></ul>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_12.html">7 Ask-the-user</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_13.html">8 Built-in predicates</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_14.html">9 Assumables</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_15.html">10 Negation-as-failure</a>
</li><li><a href="http://www.cs.ubc.ca/~poole/ci/code/cilog/cilog_man_16.html">11 Finding All An