CILOG User Manual
Version 0.14

David Poole

November 23, 2004


This manual describes CILOG, a simple representation and reasoning system based on the book Computational Intelligence: A Logical Approach [1]. CILOG provides:

CILOG is a purely declarative representation and reasoning system. It is intended as a pedagogical tool to present a simple logic that can be used for AI problems. It is meant for programming in the small, where you can axiomatize a domain, ask questions and debug the knowledge base, without knowing how answers are produced. There may be sophisticated problem-solving techniques used in finding answers1.

We have many of the examples from the book available.

This manual is also available in PDF format. This is suitable for printing, but also contains hyperlinks.

©David Poole, 1998