SICP Study

8A Logic Programming, Part 1