Declarative programming clears the mind. — L.S. Sterling, The Art of Prolog, 1986.
  1. Chapter 8 (focus on Sections 8.1–8.3)
    1. Compare and contrast first-order vs. propositional logic.
    2. Be familiar with: quantification; logical connectives; variables; resolution.

  2. The Prolog tutorial:

    1. Chapter 3 - Recursion

      1. Read Chapter 3, Sections 3.1-2, and work through their examples.
      2. If you have time, do the “Practical Session” in Section 3.4.
      3. We’ll look at some of the exercises in Section 3.3 during lab.

    2. Chapter 4 - Lists

      1. Read Chapter 4, Sections 4.1-3, and work through their examples.
      2. If you have time, do the “Practical Session” in Section 4.5.
      3. We’ll look at some of the exercises in Section 4.4 during lab.