-
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).