Logic Programming (VS1) (U02989)

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

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

? This course is only available to part year visiting students.

? This course is a variant of the following course : U02494

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

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
22/09/2006	16:10	17:00	Room G.01, William Robertson Building	Central

All of the following classes

Type	Day	Start	End	Area
Lecture	Tuesday	16:10	17:00	Central
Lecture	Friday	16:10	17:00	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.