University of Malta
 

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


CODE ICS1015

 
TITLE Logic Programming

 
LEVEL 01 - Year 1 in Modular Undergraduate Course

 
ECTS CREDITS 5

 
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.

Textbooks:

• 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

 
METHOD OF ASSESSMENT
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.
Calendar
Notices
Study-unit Registration Forms 2017/8

Register

For Undergraduate (Day) and Postgraduate students.

 

Academic Advisors 2017/8

AA1

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

Faculty of ICT Timetables

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

 HealthAndSafety

 
 

Log In back to UoM Homepage