|Computer Science and Engineering|
Course director: Zbigniew Stachniak
Course Description: This course explores in detail the theory and implementation of logic programming systems. While its focus is on Standard PROLOG, the course also covers other logic programming paradigms such as disjunctive, concurrent, and constraint logic programming.
The design and implementation of a standard logic programming system project is an essential part of the course. Through the project, a student will have an opportunity not only to apply his or hers knowledge but also explore possible extensions to the standard logic programming system. The course will end with students' presentations of their logic programming systems.
This course will cover the following subjects in details:
1. Clausal and Horn fragments of predicate logic.
Reading List and resources:
There is no single textbook for this course. Most of the material covered in this course is also discussed in:
A (almost) standard Prolog system--SWI-PROLOG--is available from SWI-Prolog site. The system is supported on Prism (see manual pages for pl).
All course related information (e.g. lecture notes, assignments, sample
can be found in
For information on assignments, midterm, and their deadlines follow this link.
Questions: If you have any questions, send an email to the course director