• HW1 10 points total. Exercise at the end of Ch.1[L].
  • PR1 Exercise at the end of Ch.3[L]. 2 points per part. 20 points total. 1 point off for extra predicates (beyond acted_in/2, directed/2, and released/2).
  • PR2 Exercise at the end of Ch.4[L]. 2 points for each part; include examples of use! 20 points total
  • PR3 Exercises 2,3,4 at the end of Ch.5[L]. 5 points for each of the exercises at the end of ch.5 (including 1 for each example of use) Total: 15 points.
  • PR4 Exercise 6 at the end of Ch.6[L]. 3 points for each of the five parts. Total: 15 points.
  • PR5 (FP): 10 points total; 4 points for addv, 2 points for addvs, 4 points for iszero.
  • PR6 (Haskell), exercises at the end of Ch.2[H]: 17 points total; 3 points for exercise 1, 2 for 2, 4 for 3, 4 for 4, 4 for 5.
  • PR7: 29 points total (all exercises from [H]): 3 points for ex.4.1, 4 points for ex.4.2, 4 points for ex.4.3, 2 points for ex.4.4, 2 points for ex.4.5, 2 points for ex.4.6, 3 points for ex.5.3, 3 points for ex.5.4, 6 points for ex.5.7. Up to 6 points removed for missing examples of use.
  • PR8 (Ch.6 [H]): 16 points total: 6 points for ex.3 (2 per part), 4 points for ex.4, 6 points for ex.5.