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