The slides will be added as PDF files in the course of the semester, usually on the day when the lecture is held.

• Chapters 0+1. Organisational Issues + Motivation

• Chapter 2. Syntax and Semantics (V4) – 2,7 MB
  • 8 June, 2009: Updated “Documentation”, added “Negation” and “Disjunction”

• Chapter 3. Examples and Programming Techniques (V4) – 2.3 MB
  • 22 June, 2009: Added sections “Cuts” and “Failure-driven loops”

• Chapter 4. API - Predefined Predicates (V1) – 191 KB
  • June 29, 2009: New slide set

• Chapter 5. Metadata, Metaprogramming and Reflection (V2) – 354 KB
  • July 5, 2009: Updated

• Chapter 6. Modules (V2) – 310 KB
  • July 13, 2009: Significantly extended

• Chapter 7. Program Transformation – 350 KB
  • July 13, 2009: New