Logic Programming (U02494)

? Credit Points : 10 ? SCQF Level : 9 ? Acronym : INF-3-LP

This course describes the practical connection between Horn clause logic and computation via programming. The reference point for the course is the Prolog programming language - a principal aim being to develop students' programming expertise through experience in typical applications.

Entry Requirements

? Pre-requisites : Successful completion of Year 2 of an Informatics Single or Combined Degree, or equivalent by permission of the School.

Variants

? This course has variants for part year visiting students, as follows

Logic Programming (VS1) (Semester 1 (Blocks 1-2))
Logic Programming (VS1) (Semester 1 (Blocks 1-2))

Subject Areas

Home subject area

Knowledge Representation and Reasoning, (School of Informatics, Schedule O)

Other subject areas

Programming Languages and Techniques, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : 3rd year

? Delivery Period : Semester 1 (Blocks 1-2)

? Contact Teaching Time : 3 hour(s) per week for 10 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
20/09/2007	15:00	15:50			Room 4.12, Appleton Tower

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	15:00	15:50	Central
Lecture	Thursday	15:00	15:50	Central

Summary of Intended Learning Outcomes

-To understand the principles of declarative specification.
-To be able to construct well crafted Prolog programs of moderate size and sophistication.
-To be able to interpret problems in a style that suits logic programming.