Computer Laboratory > Teaching > Course material 2007–08 > Computer Science Tripos Syllabus and Booklist 2007-2008 > Prolog

next up previous contents
Next: Semantics of Programming Languages Up: Michaelmas Term 2007: Part Previous: Logic and Proof   Contents


Prolog

Lecturer: Dr A.C. Rice

No. of lectures: 6

Prerequisite courses: Foundations of Computer Science, Algorithms I and Logic & Proof

Aims

The aim of this course is to introduce programming in the Prolog language. Prolog encourages a different programming style to Java or ML and particular focus is placed on programming real problems which are suited to this style. Practical experimentation with the language is strongly encouraged.

Lectures

Objectives

At the end of the course students should

Recommended reading

* Bratko, I. (2001). PROLOG programming for artificial intelligence. Addison-Wesley (3rd ed).



next up previous contents
Next: Semantics of Programming Languages Up: Michaelmas Term 2007: Part Previous: Logic and Proof   Contents