Schedule 1. The Prolog language.

2. Theoretical basis of logic programming.

3. Programming Techniques including difference lists

4. Natural language processing.

5. Metainterpreters.

6. Belief systems and belief maintenance.

7. Program transformation.

8. AI planning.

Alan Bond
2002-10-02