4.3 Variations on a Scheme — Nondeterministic Computing

4.3.3 Implementing the Amb Evaluator

Exercises:

• 4.50 . Special form ramb
• 4.51 . Permanent-set! assignment
• 4.52 . If-fail construct
• 4.53 . The result of evaluating
• 4.54 . Analyze-require procedure