SICP Solutions

Chapter 4, Metalinguistic Abstraction

Exercise 4.69

The interesting part of this exercise is that the first element in the conclusion of a rule which looked like a rule-name is just a member of the list to be matched against.

The code uses two rules find-son and find-grandson from in ex-4.63 and last-pair from in ex-4.62

Output: