1. Introduction to Prolog.
Oct 2nd and 4th
Bratko, Chapters 1-4.
(i) SS Chapters 6-7. Pure Prolog
(ii) SS Chapters 8-9. Arithmetic and Structure inspection

2. Background in predicate logic theorem proving.
Oct 9th and 11th
(i) Predicate logic, models, satisfiability
(ii) Resolution and unification
(iii) Strategies
(iv) Correspondence of theorem proving to logic programming.
(v) SS Chapters 1-3.

3. The Full Prolog language.
Oct 16th and 18th
Bratko, Chapters 5-10.
(i) SS Chapters 10-12.

4. Advanced Logic Programming Techniques.
October 23rd
(i) SS Chapter 14. Nondeterministic programming
(ii) SS Chapter 15. Incomplete data structures, difference lists
(iii) SS Chapter 16. Second-order programming.

5. Natural language processing
October 25th and 30th
Bratko Chapter 21 and SS Chapter 19: Logic grammars
Bratko Chapter 21: Natural language semantics

6. Interpreters.
November 1st
SS Chapter 17.
Bratko Chapter 23

7. Agents - Belief, knowledge and facts
November 6th
Bratko Chapter 15.

8. Program transformation.
November 8th and 13th
SS Chapter 18.

9. Agents - intentions and plans
November 15th and 20th
Bratko Chapter 17.

Thanksgiving
November 29th and 29th

10. Review
December 4th and 6th

Study period. December 7th - 10th.

Final exam December 11th-13th.