This is an introduction to logic programming, specifically PROLOG. The
introduction to PROLOG will follow the book of Clocksin and Mellish:
Programming in Prolog (Main Library, SIG: HB-FH 96648-B 519.684). The
remainder of the course will be on applications in AI and special
topic talks on logic programming (such as CLP). There will be no final
exam, but:
Exercises:
With each lecture a corresponding set of execises will be given. These assignments will be due (and discussed) in the
next lecture.
Special Topic Talk
Each student will be required to give a special topic talk involving some area of logic programming.
Project
A larger programming project (of the student's choice) in PROLOG will be required. This project will be due at the end
of the semester.
Each student will be given an account on the RISC environment and all
exercises will be done with SICSTUS PROLOG.
Some lectures will be devoted to theorem proving and the software
system OTTER.
With each lecture, an exercise covering the material discussed will be
given. The project consists of several homework exercises that will
be used together to form a larger project. Most assignments have
additional handouts with the explicit data needed.
