SICP Study

4.4 Logic Programming

Exercise 4.55

Exercise 4.79