4.3 Variations on a Scheme—Nondeterministic Computing⁠

• Nondeterministic computing

# 4.3.1 Amb and Search⁠

# Driver loop

# 4.3.2 Examples of Nondeterministic Programs⁠

# Logic puzzles

# Parsing natural language

# 4.3.3 Implementing the Amb Evaluator⁠

# Execution procedures and continuations

# Structure of the evaluator

# Simple expressions

# Conditionals and sequences

# Definitions and assignments

# Procedure applications

# Evaluating amb expressions

# Driver loop