Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Artificial Intelligence I
Computer Laboratory > Course material 2002-03 > Artificial Intelligence I

Artificial Intelligence I

Principal lecturer: Dr Sean Holden (
Taken by: Part IB, Part II (General), Diploma


The course is based on the text:

Clocksin, W. F. (1997). Clause and Effect: PROLOG for the Working Programmer. Berlin: Springer-Verlag

However you may also like to take a look at:

Bratko, I. (2001). Prolog: Programming for Artificial Intelligence. Third Edition. Addison-Wesley.

This includes many examples giving a taste of what's to come in Artificial Intelligence II.

Those of a more formal inclination might find the following to their taste:

Flach, P. (1994). Simply Logical: Intelligent Reasoning by Example. Wiley.