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