Prolog Programming
CTL272 (2 credits)
Spring 2003

Course Syllabus

This course gives a practical introduction to programming in Prolog. Students learn the key concepts and techniques of Prolog and logic programming, including Prolog database queries, term unification, recursion, list processing, backtracking and negation. These techniques are illustrated with examples from artificial intelligence and natural language processing, including elementary expert systems and basic parsing with Definite Clause Grammars.

The course is taught in English. The course consists of lectures, practical lab exercises, and a series of programming assignments.

Prerequisites

The course is suitable for language students who do not have a computer science background.

Course arrangements

Time: Thursdays 13-16, 16.01.03 - 27.02.03.
Place: Unix lab, Siltavuorenpenger 20A.

Course contents and materials

The version of Prolog used on the course is SICStus Prolog (Swedish Institute of Computer Science).
The course materials include lectures and exercises from Learn Prolog Now! by Patrick Blackburn, Johan Bos and Kristina Striegnitz (University of Saarland).


Graham Wilcock
Last modified: Fri Aug 22 18:37:32 EEST 2003