Computer Laboratory > Teaching > Course material 2008–09 > Computer Science Tripos Syllabus and Booklist 2008-2009 > Prolog

next up previous contents
Next: Software Engineering Up: Michaelmas Term 2008: Part Previous: Mathematical Methods for Computer   Contents


Prolog

Lecturer: Dr D.M. Eyers

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 to solve real problems that 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: Software Engineering Up: Michaelmas Term 2008: Part Previous: Mathematical Methods for Computer   Contents