Computer Science and Engineering 



CSE 4402/5311
Logic Programming 
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 systemSWIPROLOGis available from SWIProlog site. The system is supported on Prism (see manual pages for pl). Course Directory:
All course related information (e.g. lecture notes, assignments, sample
tests, etc.)
can be found in Course Work: For information on assignments, midterm, and their deadlines follow this link. Questions: If you have any questions, send an email to the course director 