SICP Solutions

Chapter 4, Metalinguistic Abstraction

Exercise 4.63

Two things to note is:

• Rule naming: Rule was going in infinite recursion when I named a rule as son. Thus rule name should not be in conflict with data.
• Rule to find grandson should use the results of the rule to find son.