Course Information
Course Code COSC 2P93
Course Title Logic Programming
Description Predicate logic, symbolic and declarative programming, resolution theorem proving, applications. Introduction to logic languages such as Prolog.
Course Format Lectures, 3 hours per week.
Prerequisite(s) COSC 2P03 (minimum 60 percent).