ON THIS PAGE:

Course Objectives

Prerequisites

Approach

Typical Text

Course Outline

Course Objectives
To introduce logic programming with applications to artificial intelligence research.

Prerequisites
Prerequisite, COMP 524.

Approach
Software requirements: We will be using Quintus Prolog, which should be available on many workstations in our department.

Grading: There will be a project and a mid semester exam, as well as 5-10 programming and theoretical homework assignments. Grading will be approximately 40% project, 30% exam, and 30% homework.

We will cover the first ten chapters of Bratko, followed by a discussion of first-order logic, then a discussion of the formal semantics of Prolog, and finally a discussion of the Warren Abstract Machine, used for Prolog compilation. We may discuss extensions to Prolog such as extensions including term rewriting, narrowing, non-Horn clauses, and lambda calculus, if there is time.

Typical Text
Bratko, Prolog Programming for Artificial Intelligence
Ait-Kaci, Warren Abstract Machine tutorial

Course Outline
Numbers in parentheses indicate approximate number of weeks