University of Malta

Study-Unit Description
UOM Main Page
Apply - Admissions 2016
Campus Map button


TITLE Logic Programming

LEVEL 01 - Year 1 in Modular Undergraduate Course


DEPARTMENT Artificial Intelligence

DESCRIPTION This study-unit aims to teach (i) the theoretical principles that underlie logic programming in general, (ii) the details of Prolog and (iii) how to use Prolog to solve practical problems.

The theoretical part will explain how LP works by looking at the underlying principles of logic and will include a discussion of first order logic, resolution and unification.

The practical part of this study-unit offers a comprehensive introduction to the syntax, semantics and features of Prolog, a well-known logic programming language that has been used extensively in a wide variety of application areas.

The practical part of the study-unit will be organized around a series of carefully chosen lab exercises and will explore the use of Prolog to solve problems reasoning, search and knowledge representation.

Learning Outcomes:

1. Knowledge & Understanding:
By the end of the study-unit the student will be able to:

• Acquire the syntactical knowledge of a novel programming language called Prolog;
• Understand and apply numerous logic programming techniques including pattern-matching and back tracking.

2. Skills:
By the end of the study-unit the student will be able to:

• Learn to write Prolog programs to solve a variety of logic problems;
• Learn to develop logic programming techniques including lists and recursive functions.


• Blackburn, Patrick, Johan Bos and Kristina Striegnitz, Learn Prolog Now, College Publications, and ISBN 1-904987-17-62006, 2006. Also available online.
• Ulf Nilsson and Jan Maluszýski, Logic, Programming and Prolog, Second Edition, ISBN: 0-471-95996-0, John Wiley, 2000. Also available online.
• Clocksin, W. and Mellish, C. Programming in Prolog: Using the ISO Standard, Springer, (5th edition 2003).
• Hector J. Levesque, Thinking as Computation, Boston: MIT Press, 2012.

STUDY-UNIT TYPE Lecture, Laboratory Session and Tutorial

Assessment Component/s Resit Availability Weighting
Project Yes 50%
Computer-based Examination (1 Hour and 30 Minutes) Yes 50%

LECTURER/S Peter Albert Xuereb

The University makes every effort to ensure that the published Courses Plans, Programmes of Study and Study-Unit information are complete and up-to-date at the time of publication. The University reserves the right to make changes in case errors are detected after publication.
The availability of optional units may be subject to timetabling constraints.
Units not attracting a sufficient number of registrations may be withdrawn without notice.
It should be noted that all the information in the study-unit description above applies to the academic year 2017/8, if study-unit is available during this academic year, and may be subject to change in subsequent years.
Study-unit Registration Forms 2017/8


For Undergraduate (Day) and Postgraduate students.


Academic Advisors 2017/8


Academic Advisors for ICT 1st year students (Intake 2017/8), NOW available

Faculty of ICT Timetables


ICT Timetables are available from Here.

Health and Safety Regulations for Labs Form

The Faculty of ICT Health and Safety Regulations for Laboratories form can be found here



Log In back to UoM Homepage