Computational Intelligence: A Logical Approach
CILog Code

This file contains code from Poole, Mackworth and Goebel, Computational Intelligence: A Logical Approach. All code is copyright by Poole, Mackworth and Goebel, and Oxford University Press, 1998. All Rights reserved. This code comes with no warranty.

This code runs in CILog, a representation and reasoning system for definite clauses, with declarative debugging tools.

Either save the code to a file and load it into CILog, or cut and paste each clause and tell it to CILOG.

Chapter 2

Chapter 3

Chapter 4

Chapter 6

Chapter 9

Last updated 25 January 2006, David Poole,