School of Computer Science

Module 02630 (2011)

Module description - Software Workshop Prolog

The Module Description is a strict subset of the Syllabus Page.

Module Title Software Workshop Prolog
School School of Computer Science
Module Code 06-02630
Level 2/I
Member of Staff Peter Hancox
Semester Semester 1 - 10 credits

1 hr lectures/tutorials per week, 4 hrs/week laboratory work.


On successful completion of this module, the student should be able to:

  • judge for what applications and in what circumstances logic and Prolog programs are appropriate
  • read Prolog programs, for instance in technical literature which necessitates an understanding of Prolog in conveying its content
  • represent knowledge in the form of Prolog facts and rules
  • write simple Prolog programs that can compute relations using facts and rules
  • write Prolog programs to process and manipulate lists
  • write larger Prolog programs, for instance a program to play a game
  • design Prolog programs to use a representations of knowledge and search in an efficient and appropriate manner
  • Sessional: 1.5 hr examination (80%), continuous assessment (20%).
  • Supplementary: By examination only.
Programming in Prolog (4th edn) Clocksin W F & Mellish C S Springer
Programming in Prolog for Artificial Intelligence (3rd edn) Bratko I Addison-Wesley
Prolog programming in depth Covington M A, Nute D & Vellino A Prentice Hall
The Art of Prolog (2nd edn) Stirling E & Shapiro L MIT
The course is supported by extensive WWW notes -- see links below.
The Craft of Prolog O'Keefe R A MIT