• 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]. The exercise asks for "more than" four generations, but four generations are sufficient. 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). You do not need to explain the choice of ordering of constraints in exercise 3. Total: 15 points.
• PR4 Exercise 6 at the end of Ch.7[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.
• HW7: 21 points total (all exercises from [H]): 2 points for each of 1.1-1.5, 5 points for 3.1, 6 points for 3.2.
• PR6 (HW8): 12 points total (all exercises from [H]): 4 points for each of 2.3--2.5. At least one point off per part if no examples of use are given.
• PR7 (HW9): 11 points total (all exercises from [H]): 3 points for ex.4.1, 4 points for ex.4.2, 2 points for ex.4.4, 2 points for ex.4.5.
• PR8 (HW10): 15 points total (all exercises from [H]): 3 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 4 points removed for missing examples of use.
• PR9 (HW11): 10 points total (all exercises from [H]): 4 points for ex.6.4, 6 points for ex.6.5. Please follow the hint.