The aim of this course is to introduce you to the theory and practice of logic programming.
The course has two components:
Lectures are given by Alan Smaill
A.Smaill@ed.ac.uk, Informatics Forum 2:10a).
There will be 18 lectures, starting Monday 21st September 2015.
Lectures are in Seminar Room 1, Chrystal Macmillan Building (north-east corner of George Square).
Lectures take place 1510-1600 on Mondays and Thursdays in weeks 1-2 and 4-10 of Semester 1. (Note that there are no lectures in week 3, i.e., no lectures on 5th and 8th October.)
Tutorials are weekly starting in week 3.
There will be two, summatively assessed, coursework exercises; each worth 10% of the final grade.
The course lecturer is available (during Semester 1) for discussion of course material at the following hours:
Other useful books on prolog programming are
For the theory lectures, the following background material on propositional and predicate will be useful for students who have not previously encountered propositional and predicate logic.
SICStus Prolog is recommended for use in the course and will be
used for the final exam. Any DICE machine (i.e. any Linux machine in
an Informatics computer lab) should have SICStus installed; type
sicstus at a command prompt to start.
The School also has a site license for student use, in case you would prefer to install and run SICStus on your own computer. Contact Computing Support in person or via this form to arrange this. Please specify which operating system you are running when requesting Sicstus (so Computing Support can send you the login details and appropriate OS license info in one response).
(Accompanying code: simpsons.pl)
Due: 3pm October 26.
Due: 3pm November 23.
The tutorial group times and membership will be posted early in the semester.
Logic programming offers the following formative feedback:
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: firstname.lastname@example.org
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh