• HW1 10 points total. Exercise at the end of Ch.1[L].
  • HW2 (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).
  • HW3 (PR2) Exercise at the end of Ch.4[L]. You must use the family pedigree provided in dropbox. 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.
  • HW4 (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.
  • HW5 (PR4) Exercise 6 at the end of Ch.7[L]. 3 points for each of the five parts. 2 points will be taken off if the length of a list is explicitly computed, e.g. by using length/2. 1 point will be taken off if you do not follow the hints given in [L]. Total: 15 points.
  • HW6. Exercise 2.5(c) [T]. 5 points.
  • HW7 Exercise related to John Backus's video "Function Level Programming and the FL Language." 2 points for each of the five parts; 10 points in total.
  • HW8 Exercises at the end of Ch.1[H]. 2 points for each of the five exercises; 10 points in total.
  • HW9 Exercises at the end of Ch.2[H]. 3 points for each of the five exercises. Exercises 3 and 4 at the end of chapter 3 [H]: 6 points for the types of question 2 (one per part). Total: 21 points.
  • HW10 Exercise 8 at the end of ch.4 [H]: 6 points (3 per part). Exercises 5, 6, and 9 at the end of ch.5 [H] (3, 3, and 6 points respectively). Total: 18 points.
  • HW11 2 points for ex.6.4 (Haskell run required), 5 points for ex.6.6 (Haskell run required), 4 points for ex.6.7 (Haskell run required), 6 points for ex.6.8 (You must follow the hint) (Haskell run required), Up to 3 points taken away for missing examples of use (a.k.a. Haskell runs) Do not forget examples of use! The examples of use should be included in your .hs file as comments. Total: 17 points.