- HW1 10 points total. Exercise at the end of Ch.1[L]. Five points taken off for a missing trace with a good guess. Up to four points taken off for an incorrect trace with a good guess. Up to two points off for a bad guess with a good trace.
- HW2 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 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. See the departmental dropbox for additional requirements and hints.
- HW4 Exercises 2, 3, and 4 at the end of Ch.5[L]. 5 points for each of the exercises at the end of ch.5. 2 points per exercise taken off if no example of use is given. You do not need to explain the choice of ordering of constraints in exercise 3. Total: 15 points.
- HW5 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." 1 point for each of the five parts; 5 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 3-5 at the end of Ch.2[H]. 3 points for each of the three exercises. Exercises 1-4 at the end of chapter 3 [H]: 1 point for each of exercise 1 and exercise 2; 6 points for the types of question 3 (one per part). Total: 17 points.
- HW10 Exercise 8 at the end of ch.4 [H]: 6 points (3 per part).
- HW11 Exercises 5 and 6 at the end of ch.5[H]: 8 points (4 per exercise).