Chapter 4. Metalinguistic Abstraction

4.3. Variations on a Scheme -- Nondeterministic Computing

1. Amb and Search (exercise 4.35,exercise 4.36,exercise 4.37)

2. Examples of Nondeterministic Programs (exercise 4.38,exercise 4.39,exercise 4.40,exercise 4.41,exercise 4.42,exercise 4.43,exercise 4.44,exercise 4.45,exercise 4.46,exercise 4.47,exercise 4.48,exercise 4.49)

3. Implementing the Amb Evaluator (exercise 4.50,exercise 4.51,exercise 4.52,exercise 4.53,exercise 4.54)

4.4. Logic Programming

1. Deductive Information Retrieval (exercise 4.55,exercise 4.56,exercise 4.57,exercise 4.58,exercise 4.59,exercise 4.60,exercise 4.61,exercise 4.62,exercise 4.63)

2. How the Query System Works

3. Is Logic Programming Mathematical Logic? (exercise 4.64,exercise 4.65,exercise 4.66,exercise 4.67,exercise 4.68,exercise 4.69)

4. Implementing the Query System (exercise 4.70,exercise 4.71,exercise 4.72,exercise 4.73,exercise 4.74,exercise 4.75,exercise 4.76,exercise 4.77,exercise 4.78,exercise 4.79)