Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Module DescriptorSchool of Computer Science and Statistics

Module CodeCS3011
Module NameSymbolic Programming
Module Short TitleProlog
ECTS5
Semester TaughtSemester 1, Michaelmas
Contact Hours

33 (22 lecture, 11 lab)

Module PersonnelDr Tim Fernando
Learning Outcomes

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

  • Describe the basic characteristics of declarative programming in general and Prolog in particular.
  • Compare declarative and imperative programming
  • Design, construct and analyze Prolog programs of moderate complexity
  • Evaluate the suitability of Prolog for simple tasks
  • Identify and use the different forms of recursion
Learning Aims

Acquire competence in Prolog

Module Content

Basic introduction to Prolog including recursion, definite clause grammars, cuts and negation

Recommended Reading List

_Learn Prolog Now_ by Blackburn, Bos and Striegnitz.

Module Prerequisites

none

Assessment Details

Written exam (90%) and continuous assessement consisting of lab work(10%)
The supplemental assessment will be based solely (i.e. 100%) on the written exam.
Exam duration: 2 hours (annual and supplemental)

Module Website
Academic Year of Data2017/18