Prolog for Artificial Intelligence

Lecturer: Dr W.F. Clocksin (wfc@cl.cam.ac.uk)

No. of lectures: 12  

Introduction, history, syntax.
Goals, backtracking.
Data structures and unification.
List processing.
Mappings.
Accumulators.
Difference structures.
Computing with difference structures.
Modifying backtracking.
Examples (such as formula manipulation).
Examples (such as circuit analysis).
Examples (from knowledge representation).

Recommended books:

Clocksin, W.F. & Mellish, C.S. (1987). Programming in Prolog. Berlin: Springer-Verlag.

Bratko, I. (1986). Prolog: Programming for Artificial Intelligence. Addison-Wesley.

Shoham, Y. (1994). Artificial Intelligence Techniques in Prolog. Morgan Kaufmann.