4. Metalinguistic Abstraction

• 4.1. The Metacircular Evaluator

• 4.2. Variations on a Scheme — Lazy Evaluation

• 4.3. Variations on a Scheme — Nondeterministic Computing

• 4.4. Logic Programming