Artificial Intelligence I
Principal lecturer: Dr Sean Holden (email@example.com)
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
Flach, P. (1994). Simply Logical: Intelligent Reasoning by