SICP Solutions

Section - 2.1 - Introduction to Data Abstraction

Exercise 2.4

Lets first define procedure cdr and also test by invoking the procedures with an example.

A we can see output is correct. Lets verify this using substitution for the invocation (cdr pair) in example above:

Similarly it can be verified for procedure cdr.