SICP Study

8B Logic Programming, Part 2