Everybody should be comfortable with working in a least one programming language; for logicians and others with a well-developed sense for aesthetics, Prolog is a good choice. This will be an intensive introduction to logic programming in Prolog. There will be lectures, tutorials, lab sessions, and plenty of homework. During the first two weeks you will acquire basic programming skills in Prolog; the third week will be devoted to a case study where we will see how to implement an automated theorem prover in Prolog; and the final week will be devoted to small projects.
