{
  "&& (as derived component)": [
    "4.1.2"
  ],
  "&& (implementing in metacircular evaluator)": [
    "4.1.2"
  ],
  "&& (parsing of)": [
    "4.1.2"
  ],
  "Ada": [
    "4.4.1"
  ],
  "Adams, Norman I., IV": [
    "4.1.7"
  ],
  "Algol (call by name argument passing)": [
    "4.2.2"
  ],
  "Algol (thunks)": [
    "4.2.2"
  ],
  "Barth, John": [
    "4"
  ],
  "Chapman, David": [
    "4.3.1"
  ],
  "Charniak, Eugene": [
    "4.3.1"
  ],
  "Church–Turing thesis": [
    "4.1.5"
  ],
  "Clark, Keith L.": [
    "4.4.3"
  ],
  "Clinger, William": [
    "4.2.2"
  ],
  "Colmerauer, Alain": [
    "4.4"
  ],
  "Conniver": [
    "4.3.1"
  ],
  "Crockford, Douglas": [
    "4.1.3"
  ],
  "Dinesman, Howard P.": [
    "4.3.2"
  ],
  "Doyle, Jon": [
    "4.3.1"
  ],
  "Feeley, Marc": [
    "4.1.7"
  ],
  "Feigenbaum, Edward": [
    "4.4"
  ],
  "Floyd, Robert": [
    "4.3.1"
  ],
  "Forbus, Kenneth D.": [
    "4.3.1"
  ],
  "Friedman, Daniel P.": [
    "4"
  ],
  "Gabriel, Richard P.": [
    "4.1.6"
  ],
  "Gargle": [
    "4.3.2",
    "4.4.1"
  ],
  "Genesis": [
    "4.4.1"
  ],
  "Green, Cordell": [
    "4.4"
  ],
  "Halting Theorem": [
    "4.1.5"
  ],
  "Hassle": [
    "4.2.1"
  ],
  "Haynes, Christopher T.": [
    "4"
  ],
  "Hewitt, Carl Eddie": [
    "4.3.1",
    "4.4"
  ],
  "Hodges, Andrew": [
    "4.1.5"
  ],
  "Hofstadter, Douglas R.": [
    "4.1.5"
  ],
  "Hughes, R. J. M.": [
    "4.2.3"
  ],
  "Ingerman, Peter": [
    "4.2.2"
  ],
  "Jaffar, Joxan": [
    "4.4.4"
  ],
  "Kowalski, Robert": [
    "4.4"
  ],
  "Lapalme, Guy": [
    "4.1.7"
  ],
  "MIT": [
    "4.4"
  ],
  "McAllester, David Allen": [
    "4.3.1"
  ],
  "McCarthy, John": [
    "4.3.1"
  ],
  "McDermott, Drew": [
    "4.3.1"
  ],
  "MicroPlanner": [
    "4.3.1"
  ],
  "Mouse, Minnie and Mickey": [
    "4.4.3"
  ],
  "NaN, not a typo": [
    "4.1.3"
  ],
  "Phillips, Hubert": [
    "4.3.2"
  ],
  "Planner": [
    "4.3.1"
  ],
  "Prolog": [
    "4.3.1",
    "4.4"
  ],
  "Pythagorean triples (with nondeterministic programs)": [
    "4.3.1"
  ],
  "Python (eval in)": [
    "4.1.5"
  ],
  "Python (good parts)": [
    "4.1.3"
  ],
  "Raphael, Bertram": [
    "4.4"
  ],
  "Raymond, Eric": [
    "4.2",
    "4.3.1"
  ],
  "Rees, Jonathan A.": [
    "4.1.7"
  ],
  "Robinson, J. A.": [
    "4.4"
  ],
  "Scheme ($Y$ operator written in)": [
    "4.1.6"
  ],
  "Scheme (evaluators written in)": [
    "4"
  ],
  "Scheme (let* in)": [
    "4.1.2"
  ],
  "Scheme (nondeterministic extension of)": [
    "4.3.1"
  ],
  "Shrobe, Howard E.": [
    "4.4"
  ],
  "Stallman, Richard M.": [
    "4.3.1"
  ],
  "Steele, Guy Lewis Jr.": [
    "4.2",
    "4.3.1"
  ],
  "Stoy, Joseph E.": [
    "4.1.6"
  ],
  "Stuckey, Peter J.": [
    "4.4.4"
  ],
  "Sussman, Gerald Jay": [
    "4.3.1"
  ],
  "Turing machine": [
    "4.1.5"
  ],
  "Turing, Alan M.": [
    "4.1.5"
  ],
  "University of Edinburgh": [
    "4.4"
  ],
  "University of Marseille": [
    "4.4"
  ],
  "Wand, Mitchell": [
    "4"
  ],
  "Winograd, Terry": [
    "4.3.1"
  ],
  "Winston, Patrick Henry": [
    "4.3.1",
    "4.3.2"
  ],
  "Zabih, Ramin": [
    "4.3.1"
  ],
  "abstract syntax (in metacircular evaluator)": [
    "4.1.1"
  ],
  "abstract syntax (in query interpreter)": [
    "4.4.4"
  ],
  "abstraction (metalinguistic)": [
    "4"
  ],
  "abstraction (of search in nondeterministic programming)": [
    "4.3.2"
  ],
  "abstraction barriers (in query language)": [
    "4.4.4"
  ],
  "abstraction barriers (in representing Python syntax)": [
    "4.1.2"
  ],
  "actual_value": [
    "4.2.2"
  ],
  "add_lists": [
    "4.2.3"
  ],
  "add_rule_or_assertion": [
    "4.4.4"
  ],
  "administrative assistant, importance of": [
    "4.4.1"
  ],
  "always_true": [
    "4.4.4"
  ],
  "amb": [
    "4.3.1"
  ],
  "ambeval": [
    "4.3.3"
  ],
  "an_element_of": [
    "4.3.1"
  ],
  "an_integer_starting_from": [
    "4.3.1"
  ],
  "analyze (metacircular)": [
    "4.1.7"
  ],
  "analyze (nondeterministic)": [
    "4.3.3"
  ],
  "analyze_... (metacircular)": [
    "4.1.7"
  ],
  "analyze_... (nondeterministic)": [
    "4.3.3"
  ],
  "analyze_amb": [
    "4.3.3"
  ],
  "analyzing evaluator": [
    "4.1.7"
  ],
  "analyzing evaluator (as basis for nondeterministic evaluator)": [
    "4.3.3"
  ],
  "and": [
    "4.4.1"
  ],
  "and (evaluation of)": [
    "4.4.2",
    "4.4.4"
  ],
  "append (what is (rules) vs.how to (function))": [
    "4.4"
  ],
  "append_to_form": [
    "4.4.1"
  ],
  "applicative order evaluation (normal order vs.)": [
    "4.2.1"
  ],
  "apply": [
    "4.1.1",
    "4.1.4",
    "4.2.2"
  ],
  "apply (tail recursion and)": [
    "4.1.1"
  ],
  "apply_a_rule": [
    "4.4.4"
  ],
  "apply_in_underlying_javascript": [
    "4.1.4"
  ],
  "apply_primitive_function": [
    "4.1.1",
    "4.1.3",
    "4.1.4"
  ],
  "apply_rules": [
    "4.4.4"
  ],
  "arg_expressions": [
    "4.1.2"
  ],
  "articles": [
    "4.3.2"
  ],
  "assert": [
    "4.4.2"
  ],
  "assertion": [
    "4.4.1"
  ],
  "assertion (implicit)": [
    "4.4.1"
  ],
  "assertion_body": [
    "4.4.4"
  ],
  "assign_symbol_value": [
    "4.1.3"
  ],
  "assignment (parsing of)": [
    "4.1.2"
  ],
  "assignment_symbol": [
    "4.1.2"
  ],
  "assignment_value_expression": [
    "4.1.2"
  ],
  "automagically": [
    "4.3.1"
  ],
  "automatic search": [
    "4.3"
  ],
  "automatic search (history of)": [
    "4.3.1"
  ],
  "backtracking": [
    "4.3.1"
  ],
  "binding (deep)": [
    "4.1.3"
  ],
  "binding_in_frame": [
    "4.4.4"
  ],
  "binding_value": [
    "4.4.4"
  ],
  "binding_variable": [
    "4.4.4"
  ],
  "block (parsing of)": [
    "4.1.2"
  ],
  "block structure": [
    "4.1.6"
  ],
  "block structure (in query language)": [
    "4.4.4"
  ],
  "block_body": [
    "4.1.2"
  ],
  "break": [
    "4.1.2"
  ],
  "bureaucracy": [
    "4.4.3"
  ],
  "call by name argument passing": [
    "4.2.2"
  ],
  "call by need argument passing": [
    "4.2.2"
  ],
  "case analysis (data directed programming vs.)": [
    "4.1.1"
  ],
  "check_an_assertion": [
    "4.4.4"
  ],
  "chess, eight queens puzzle": [
    "4.3.2"
  ],
  "chronological backtracking": [
    "4.3.1"
  ],
  "closed world assumption": [
    "4.4.3"
  ],
  "compound query": [
    "4.4.1"
  ],
  "compound query (processing)": [
    "4.4.2",
    "4.4.4"
  ],
  "computability": [
    "4.1.5"
  ],
  "computer science": [
    "4",
    "4.1.5"
  ],
  "computer science (mathematics vs.)": [
    "4.4"
  ],
  "conclusion": [
    "4.4.4"
  ],
  "conditional expression (parsing of)": [
    "4.1.2"
  ],
  "conditional statement (parsing of)": [
    "4.1.2"
  ],
  "conditional_alternative": [
    "4.1.2"
  ],
  "conditional_consequent": [
    "4.1.2"
  ],
  "conditional_predicate": [
    "4.1.2"
  ],
  "conjoin": [
    "4.4.4"
  ],
  "consciousness, expansion of": [
    "4.1.1"
  ],
  "constant (in Python) (detecting assignment to)": [
    "4.1.3"
  ],
  "contents": [
    "4.4.4"
  ],
  "continuation (in nondeterministic evaluator)": [
    "4.3.3"
  ],
  "control structure": [
    "4.4.3"
  ],
  "convert": [
    "4.4.4"
  ],
  "convert_to_query_syntax": [
    "4.4.4"
  ],
  "data (as program)": [
    "4.1.5"
  ],
  "data abstraction": [
    "4.1.2"
  ],
  "data base (Gargle personnel)": [
    "4.4.1"
  ],
  "data base (indexing)": [
    "4.4.2",
    "4.4.4"
  ],
  "data base (logic programming and)": [
    "4.4.1"
  ],
  "data directed programming (case analysis vs.)": [
    "4.1.1"
  ],
  "data directed programming (in metacircular evaluator)": [
    "4.1.2"
  ],
  "data directed programming (in query interpreter)": [
    "4.4.4"
  ],
  "de Kleer, Johan": [
    "4.3.1",
    "4.4.3"
  ],
  "declarative vs.imperative knowledge": [
    "4.4"
  ],
  "declarative vs.imperative knowledge (logic programming and)": [
    "4.4",
    "4.4.3"
  ],
  "declarative vs.imperative knowledge (nondeterministic computing and)": [
    "4.3"
  ],
  "deep binding": [
    "4.1.3"
  ],
  "delay_it": [
    "4.2.2"
  ],
  "delayed evaluation (explicit vs.automatic)": [
    "4.2.3"
  ],
  "delayed evaluation (in lazy evaluator)": [
    "4.2",
    "4.2.3"
  ],
  "delayed expression (explicit vs.automatic)": [
    "4.2.3"
  ],
  "delayed expression (lazy evaluation and)": [
    "4.2.3"
  ],
  "dependency directed backtracking": [
    "4.3.1"
  ],
  "depends_on": [
    "4.4.4"
  ],
  "depth first search": [
    "4.3.1"
  ],
  "derived component": [
    "4.1.2"
  ],
  "derived components in evaluator": [
    "4.1.2"
  ],
  "derived components in evaluator (function definition)": [
    "4.1.2"
  ],
  "derived components in evaluator (operator combination)": [
    "4.1.2"
  ],
  "disjoin": [
    "4.4.4"
  ],
  "disjoin (without delayed expression)": [
    "4.4.4"
  ],
  "distinct": [
    "4.3.2"
  ],
  "driver loop (in lazy evaluator)": [
    "4.2.2"
  ],
  "driver loop (in metacircular evaluator)": [
    "4.1.4"
  ],
  "driver loop (in nondeterministic evaluator)": [
    "4.3.1",
    "4.3.3"
  ],
  "driver loop (in query interpreter)": [
    "4.4.2",
    "4.4.4"
  ],
  "driver_loop (for lazy evaluator)": [
    "4.2.2"
  ],
  "driver_loop (for metacircular evaluator)": [
    "4.1.4"
  ],
  "driver_loop (for nondeterministic evaluator)": [
    "4.3.3"
  ],
  "duplicate parameters": [
    "4.1.2"
  ],
  "efficiency (of data base access)": [
    "4.4.2"
  ],
  "efficiency (of evaluation)": [
    "4.1.7"
  ],
  "efficiency (of query processing)": [
    "4.4.2"
  ],
  "eight queens puzzle": [
    "4.3.2"
  ],
  "element_expressions": [
    "4.4.4"
  ],
  "embedded language, language design using": [
    "4.2"
  ],
  "enclosing_environment": [
    "4.1.3"
  ],
  "environment (in query interpreter)": [
    "4.4.4"
  ],
  "environment (renaming vs.)": [
    "4.4.4"
  ],
  "environment model of evaluation (metacircular evaluator and)": [
    "4.1"
  ],
  "eval": [
    "4.1.5"
  ],
  "eval_assignment": [
    "4.1.1"
  ],
  "eval_conditional": [
    "4.1.1",
    "4.2.2"
  ],
  "eval_declaration": [
    "4.1.1"
  ],
  "eval_return_statement": [
    "4.1.1"
  ],
  "eval_sequence": [
    "4.1.1"
  ],
  "evaluate": [
    "4.1.1",
    "4.2.2"
  ],
  "evaluate (analyzing version)": [
    "4.1.7"
  ],
  "evaluate (data directed)": [
    "4.1.2"
  ],
  "evaluate_query": [
    "4.4.2",
    "4.4.4"
  ],
  "evaluator": [
    "4"
  ],
  "evaluator (as abstract machine)": [
    "4.1.5"
  ],
  "evaluator (as universal machine)": [
    "4.1.5"
  ],
  "evaluator (metacircular)": [
    "4.1"
  ],
  "execute_application (metacircular)": [
    "4.1.7"
  ],
  "execute_application (nondeterministic)": [
    "4.3.3"
  ],
  "execution function (in analyzing evaluator)": [
    "4.1.7"
  ],
  "execution function (in nondeterministic evaluator)": [
    "4.3.3"
  ],
  "expression (literal)": [
    "4.1.1"
  ],
  "expression statement (parsing of)": [
    "4.1.2"
  ],
  "extend": [
    "4.4.4"
  ],
  "extend_environment": [
    "4.1.3"
  ],
  "extend_if_consistent": [
    "4.4.4"
  ],
  "extend_if_possible": [
    "4.4.4"
  ],
  "factorial (as an abstract machine)": [
    "4.1.5"
  ],
  "factorial (with while loop)": [
    "4.1.2"
  ],
  "factorial (without declaration or assignment)": [
    "4.1.6"
  ],
  "failure continuation (nondeterministic evaluator)": [
    "4.3.3"
  ],
  "failure continuation (nondeterministic evaluator) (constructed by amb)": [
    "4.3.3"
  ],
  "failure continuation (nondeterministic evaluator) (constructed by assignment)": [
    "4.3.3"
  ],
  "failure continuation (nondeterministic evaluator) (constructed by driver loop)": [
    "4.3.3"
  ],
  "failure, in nondeterministic computation": [
    "4.3.1"
  ],
  "failure, in nondeterministic computation (bug vs.)": [
    "4.3.3"
  ],
  "failure, in nondeterministic computation (searching and)": [
    "4.3.1"
  ],
  "falsiness": [
    "4.1.3"
  ],
  "fetch_assertions": [
    "4.4.4"
  ],
  "fetch_rules": [
    "4.4.4"
  ],
  "find_assertions": [
    "4.4.4"
  ],
  "first_conjunct": [
    "4.4.4"
  ],
  "first_disjunct": [
    "4.4.4"
  ],
  "first_frame": [
    "4.1.3"
  ],
  "first_statement": [
    "4.1.2"
  ],
  "fixed point (unification and)": [
    "4.4.4"
  ],
  "flatten_stream": [
    "4.4.4"
  ],
  "for_each": [
    "4.2.2"
  ],
  "force_it": [
    "4.2.2"
  ],
  "force_it (memoized version)": [
    "4.2.2"
  ],
  "forcing (of thunk)": [
    "4.2.2"
  ],
  "frame (query interpreter)": [
    "4.4.2"
  ],
  "frame (query interpreter) (representation)": [
    "4.4.4"
  ],
  "frame_symbols": [
    "4.1.3"
  ],
  "frame_values": [
    "4.1.3"
  ],
  "function application (parsing of)": [
    "4.1.2"
  ],
  "function definition (as derived component)": [
    "4.1.2"
  ],
  "function definition (hoisting of)": [
    "4.1.6"
  ],
  "function definition (parsing of)": [
    "4.1.2"
  ],
  "function_body": [
    "4.1.3"
  ],
  "function_decl_to_constant_decl": [
    "4.1.2"
  ],
  "function_definition_body": [
    "4.1.2"
  ],
  "function_definition_name": [
    "4.1.2"
  ],
  "function_definition_parameters": [
    "4.1.2"
  ],
  "function_environment": [
    "4.1.3"
  ],
  "function_expression": [
    "4.1.2"
  ],
  "function_parameters": [
    "4.1.3"
  ],
  "garbage collection (memoization and)": [
    "4.2.2"
  ],
  "generating sentences": [
    "4.3.2"
  ],
  "global environment (in metacircular evaluator)": [
    "4.1.4"
  ],
  "good parts of Python": [
    "4.1.3"
  ],
  "grammar": [
    "4.3.2"
  ],
  "halting problem": [
    "4.1.5"
  ],
  "head (functional implementation of)": [
    "4.2.3"
  ],
  "high level language, machine language vs.": [
    "4"
  ],
  "higher order functions (in metacircular evaluator)": [
    "4.1.1"
  ],
  "hoisting of function definitions": [
    "4.1.6"
  ],
  "imperative vs.declarative knowledge": [
    "4.4"
  ],
  "imperative vs.declarative knowledge (logic programming and)": [
    "4.4",
    "4.4.3"
  ],
  "imperative vs.declarative knowledge (nondeterministic computing and)": [
    "4.3"
  ],
  "indentation": [
    "4.1.2"
  ],
  "indexing a data base": [
    "4.4.2",
    "4.4.4"
  ],
  "inference, method of": [
    "4.4.3"
  ],
  "infinite series": [
    "4.4.4"
  ],
  "instantiate a pattern": [
    "4.4.1"
  ],
  "instantiate_expression": [
    "4.4.4"
  ],
  "instantiate_term": [
    "4.4.4"
  ],
  "integers (lazy list version)": [
    "4.2.3"
  ],
  "integral (lazy list version)": [
    "4.2.3"
  ],
  "interleave_delayed": [
    "4.4.4"
  ],
  "internal declaration (in nondeterministic evaluator)": [
    "4.3.3"
  ],
  "internal declaration (names distinct from parameters)": [
    "4.1.2"
  ],
  "internal declaration (restrictions on)": [
    "4.1.6"
  ],
  "internal declaration (scanning out)": [
    "4.1.6"
  ],
  "internal declaration (scope of name)": [
    "4.1.6"
  ],
  "is_amb": [
    "4.3.3"
  ],
  "is_application": [
    "4.1.2"
  ],
  "is_assertion": [
    "4.4.4"
  ],
  "is_assignment": [
    "4.1.2"
  ],
  "is_block": [
    "4.1.2"
  ],
  "is_boolean": [
    "4.1.3"
  ],
  "is_compound_function": [
    "4.1.3"
  ],
  "is_conditional": [
    "4.1.2"
  ],
  "is_declaration": [
    "4.1.2"
  ],
  "is_empty_conjunction": [
    "4.4.4"
  ],
  "is_empty_disjunction": [
    "4.4.4"
  ],
  "is_empty_sequence": [
    "4.1.2"
  ],
  "is_falsy": [
    "4.1.3"
  ],
  "is_falsy (full Python version)": [
    "4.1.3"
  ],
  "is_function_definition": [
    "4.1.2"
  ],
  "is_lambda_expression": [
    "4.1.2"
  ],
  "is_last_statement": [
    "4.1.2"
  ],
  "is_list_construction": [
    "4.4.4"
  ],
  "is_literal": [
    "4.1.2"
  ],
  "is_name": [
    "4.1.2"
  ],
  "is_primitive_function": [
    "4.1.3",
    "4.1.4"
  ],
  "is_return_statement": [
    "4.1.2"
  ],
  "is_return_value": [
    "4.1.3"
  ],
  "is_rule": [
    "4.4.4"
  ],
  "is_sequence": [
    "4.1.2"
  ],
  "is_tagged_list": [
    "4.1.2"
  ],
  "is_truthy": [
    "4.1.1",
    "4.1.3"
  ],
  "is_truthy (full Python version)": [
    "4.1.3"
  ],
  "is_variable (in query system)": [
    "4.4.4"
  ],
  "javascript_predicate": [
    "4.4.1",
    "4.4.3",
    "4.4.4"
  ],
  "javascript_predicate (evaluation of)": [
    "4.4.2",
    "4.4.4"
  ],
  "javascript_predicate_expression": [
    "4.4.4"
  ],
  "keywords (\\textbf{\\texttt{continue}})": [
    "4.1.2"
  ],
  "keywords (break)": [
    "4.1.2"
  ],
  "keywords (while)": [
    "4.1.2"
  ],
  "lambda expression (lazy evaluation and)": [
    "4.2.3"
  ],
  "lambda expression (parsing of)": [
    "4.1.2"
  ],
  "lambda_body": [
    "4.1.2"
  ],
  "lambda_parameter_symbols": [
    "4.1.2"
  ],
  "last_pair (rules)": [
    "4.4.1"
  ],
  "lazy evaluation": [
    "4.2.1"
  ],
  "lazy evaluator": [
    "4.2",
    "4.2.2"
  ],
  "lazy list": [
    "4.2.3"
  ],
  "lazy pair": [
    "4.2.3"
  ],
  "lazy tree": [
    "4.2.3"
  ],
  "let": [
    "4.1.2"
  ],
  "list(s) (lazy)": [
    "4.2.3"
  ],
  "list_of_arg_values": [
    "4.2.2"
  ],
  "list_of_delayed_args": [
    "4.2.2"
  ],
  "list_ref": [
    "4.2.3"
  ],
  "literal expression": [
    "4.1.1"
  ],
  "literal expression (parsing of)": [
    "4.1.2"
  ],
  "literal_value": [
    "4.1.2"
  ],
  "lives_near": [
    "4.4.1"
  ],
  "llist_of_values": [
    "4.1.1"
  ],
  "llist_of_values (without higher order functions)": [
    "4.1.1"
  ],
  "logic programming": [
    "4.4"
  ],
  "logic programming (computers for)": [
    "4.4"
  ],
  "logic programming (history of)": [
    "4.4"
  ],
  "logic programming (in Japan)": [
    "4.4"
  ],
  "logic programming (logic programming languages)": [
    "4.4"
  ],
  "logic programming (mathematical logic vs.)": [
    "4.4.3"
  ],
  "logic puzzles": [
    "4.3.2"
  ],
  "lookup_symbol_value": [
    "4.1.3"
  ],
  "lookup_symbol_value (for scanned out declarations)": [
    "4.1.3"
  ],
  "machine language (high level language vs.)": [
    "4"
  ],
  "make_application": [
    "4.1.2"
  ],
  "make_assignment": [
    "4.1.2"
  ],
  "make_binding": [
    "4.4.4"
  ],
  "make_frame": [
    "4.1.3"
  ],
  "make_function": [
    "4.1.3"
  ],
  "make_lambda_expression": [
    "4.1.2"
  ],
  "make_literal": [
    "4.1.2"
  ],
  "make_name": [
    "4.1.2"
  ],
  "make_new_variable": [
    "4.4.4"
  ],
  "make_return_value": [
    "4.1.3"
  ],
  "map": [
    "4.2.3"
  ],
  "mathematics (computer science vs.)": [
    "4.4"
  ],
  "memoization (garbage collection and)": [
    "4.2.2"
  ],
  "memoization (of thunks)": [
    "4.2.2"
  ],
  "memory (in 1965)": [
    "4.3.1"
  ],
  "metacircular evaluator": [
    "4.1"
  ],
  "metacircular evaluator for Python": [
    "4.1",
    "4.1.5"
  ],
  "metacircular evaluator for Python (&& (logical conjunction))": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (None)": [
    "4.1.4"
  ],
  "metacircular evaluator for Python (analyzing version)": [
    "4.1.7"
  ],
  "metacircular evaluator for Python (component representation)": [
    "4.1.1",
    "4.1.2"
  ],
  "metacircular evaluator for Python (data abstraction in)": [
    "4.1",
    "4.1.1",
    "4.1.3"
  ],
  "metacircular evaluator for Python (data directed evaluate)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (derived components)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (driver loop)": [
    "4.1.4"
  ],
  "metacircular evaluator for Python (efficiency of)": [
    "4.1.7"
  ],
  "metacircular evaluator for Python (environment model of evaluation in)": [
    "4.1"
  ],
  "metacircular evaluator for Python (environment operations)": [
    "4.1.3"
  ],
  "metacircular evaluator for Python (evaluate and apply)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (evaluate–apply cycle)": [
    "4.1",
    "4.1.1"
  ],
  "metacircular evaluator for Python (global environment)": [
    "4.1.4"
  ],
  "metacircular evaluator for Python (higher order functions in)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (implemented language vs.implementation language)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (job of)": [
    "4.1"
  ],
  "metacircular evaluator for Python (let* (Scheme variant of let))": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (order of argument evaluation)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (parameters distinct from local names)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (preventing duplicate parameters)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (primitive functions)": [
    "4.1.4"
  ],
  "metacircular evaluator for Python (representation of environments)": [
    "4.1.3"
  ],
  "metacircular evaluator for Python (representation of functions)": [
    "4.1.3"
  ],
  "metacircular evaluator for Python (representation of true and false)": [
    "4.1.3"
  ],
  "metacircular evaluator for Python (return value)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (running)": [
    "4.1.4"
  ],
  "metacircular evaluator for Python (symbolic differentiation and)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (syntactic forms (additional))": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (syntactic forms as derived components)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (syntax of evaluated language)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (tail recursion and)": [
    "4.1.1"
  ],
  "metacircular evaluator for Python (value of program at top level)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (while loop)": [
    "4.1.2"
  ],
  "metacircular evaluator for Python (|| (logical disjunction))": [
    "4.1.2"
  ],
  "metalinguistic abstraction": [
    "4"
  ],
  "name (parsing of)": [
    "4.1.2"
  ],
  "naming conventions ($\\$$ for pattern variables)": [
    "4.4.1"
  ],
  "negate": [
    "4.4.4"
  ],
  "negated_query": [
    "4.4.4"
  ],
  "negation as failure": [
    "4.4.3"
  ],
  "next_to_in": [
    "4.4.1"
  ],
  "non strict": [
    "4.2.1"
  ],
  "noncomputable": [
    "4.1.5"
  ],
  "nondeterministic choice point": [
    "4.3.1"
  ],
  "nondeterministic computing": [
    "4.3",
    "4.3.2"
  ],
  "nondeterministic evaluator": [
    "4.3.3"
  ],
  "nondeterministic evaluator (order of argument evaluation)": [
    "4.3.2"
  ],
  "nondeterministic programming vs.Python programming": [
    "4.3",
    "4.3.2"
  ],
  "nondeterministic programs (Pythagorean triples)": [
    "4.3.1"
  ],
  "nondeterministic programs (logic puzzles)": [
    "4.3.2"
  ],
  "nondeterministic programs (pairs with prime sums)": [
    "4.3"
  ],
  "nondeterministic programs (parsing natural language)": [
    "4.3.2"
  ],
  "normal order evaluation (applicative order vs.)": [
    "4.2.1"
  ],
  "not": [
    "4.4.1",
    "4.4.3"
  ],
  "not (evaluation of)": [
    "4.4.2",
    "4.4.4"
  ],
  "nouns": [
    "4.3.2"
  ],
  "office_move": [
    "4.3.2"
  ],
  "ones (lazy list version)": [
    "4.2.3"
  ],
  "operator combination (as derived component)": [
    "4.1.2"
  ],
  "operator combination (as function application)": [
    "4.1.2"
  ],
  "operator combination (parsing of)": [
    "4.1.2"
  ],
  "operator_combination_to_": [
    "4.1.2"
  ],
  "or": [
    "4.4.1"
  ],
  "or (evaluation of)": [
    "4.4.2",
    "4.4.4"
  ],
  "order of evaluation (in metacircular evaluator)": [
    "4.1.1"
  ],
  "outranked_by": [
    "4.4.1",
    "4.4.3"
  ],
  "pair (functional implementation of)": [
    "4.2.3"
  ],
  "pair(s) (functional representation of)": [
    "4.2.3"
  ],
  "pair(s) (lazy)": [
    "4.2.3"
  ],
  "parameters (distinct from local names)": [
    "4.1.2"
  ],
  "parameters (duplicate)": [
    "4.1.2"
  ],
  "parse": [
    "4.1.2"
  ],
  "parse (in query interpreter)": [
    "4.4.4"
  ],
  "parse_...": [
    "4.3.2"
  ],
  "parsing Python": [
    "4.1.2"
  ],
  "parsing natural language": [
    "4.3.2"
  ],
  "parsing natural language (real language understanding vs.toy parser)": [
    "4.3.2"
  ],
  "pattern": [
    "4.4.1"
  ],
  "pattern matching": [
    "4.4.2"
  ],
  "pattern matching (implementation)": [
    "4.4.4"
  ],
  "pattern matching (unification vs.)": [
    "4.4.2"
  ],
  "pattern variable": [
    "4.4.1"
  ],
  "pattern variable (representation of)": [
    "4.4.4"
  ],
  "pattern_match": [
    "4.4.4"
  ],
  "prepositions": [
    "4.3.2"
  ],
  "pretty printing": [
    "4.1.2"
  ],
  "prime_sum_pair": [
    "4.3"
  ],
  "primitive_function_objects": [
    "4.1.4"
  ],
  "primitive_function_symbols": [
    "4.1.4"
  ],
  "primitive_implementation": [
    "4.1.4"
  ],
  "program (as abstract machine)": [
    "4.1.5"
  ],
  "program (as data)": [
    "4.1.5"
  ],
  "program (structured with subroutines)": [
    "4.1.5"
  ],
  "program (value of)": [
    "4.1.2"
  ],
  "programming language (design of)": [
    "4.2"
  ],
  "programming language (logic)": [
    "4.4"
  ],
  "promise to evaluate (lazy evaluation and)": [
    "4.2.3"
  ],
  "prompt": [
    "4.1.4"
  ],
  "prompts": [
    "4.1.4"
  ],
  "prompts (lazy evaluator)": [
    "4.2.2"
  ],
  "prompts (metacircular evaluator)": [
    "4.1.4"
  ],
  "prompts (nondeterministic evaluator)": [
    "4.3.3"
  ],
  "prompts (query interpreter)": [
    "4.4.4"
  ],
  "puzzles (eight queens puzzle)": [
    "4.3.2"
  ],
  "puzzles (logic puzzles)": [
    "4.3.2"
  ],
  "query": [
    "4.4"
  ],
  "query interpreter": [
    "4.4"
  ],
  "query interpreter (Python interpreter vs.)": [
    "4.4.2",
    "4.4.4"
  ],
  "query interpreter (adding rule or assertion)": [
    "4.4.2"
  ],
  "query interpreter (as nondeterministic program)": [
    "4.4.4"
  ],
  "query interpreter (data base)": [
    "4.4.4"
  ],
  "query interpreter (driver loop)": [
    "4.4.2",
    "4.4.4"
  ],
  "query interpreter (environment structure in)": [
    "4.4.4"
  ],
  "query interpreter (frame)": [
    "4.4.2",
    "4.4.4"
  ],
  "query interpreter (improvements to)": [
    "4.4.3",
    "4.4.4"
  ],
  "query interpreter (infinite loops)": [
    "4.4.3"
  ],
  "query interpreter (instantiation)": [
    "4.4.4"
  ],
  "query interpreter (overview)": [
    "4.4.2"
  ],
  "query interpreter (pattern matching)": [
    "4.4.2",
    "4.4.4"
  ],
  "query interpreter (pattern variable representation)": [
    "4.4.4"
  ],
  "query interpreter (problems with not and javascript_predicate)": [
    "4.4.3",
    "4.4.4"
  ],
  "query interpreter (query evaluator)": [
    "4.4.2",
    "4.4.4"
  ],
  "query interpreter (stream operations)": [
    "4.4.4"
  ],
  "query interpreter (streams of frames)": [
    "4.4.2"
  ],
  "query interpreter (syntax of query language)": [
    "4.4.4"
  ],
  "query interpreter (unification)": [
    "4.4.2",
    "4.4.4"
  ],
  "query language": [
    "4.4",
    "4.4.1"
  ],
  "query language (abstraction in)": [
    "4.4.1"
  ],
  "query language (data base)": [
    "4.4.1"
  ],
  "query language (equality testing in)": [
    "4.4.1"
  ],
  "query language (extensions to)": [
    "4.4.3",
    "4.4.4"
  ],
  "query language (logical deductions)": [
    "4.4.1"
  ],
  "query language (mathematical logic vs.)": [
    "4.4.3"
  ],
  "query language specific representation": [
    "4.4.4"
  ],
  "query language specific representation (transforming Python syntax into)": [
    "4.4.4"
  ],
  "query_driver_loop": [
    "4.4.4"
  ],
  "rational tree": [
    "4.4.4"
  ],
  "recursion (in rules)": [
    "4.4.1"
  ],
  "recursion theory": [
    "4.1.5"
  ],
  "recursive function (specifying without declaration)": [
    "4.1.6"
  ],
  "relations, computing in terms of": [
    "4.4"
  ],
  "rename_variables_in": [
    "4.4.4"
  ],
  "require": [
    "4.3.1"
  ],
  "require (as a syntactic form)": [
    "4.3.3"
  ],
  "resolution principle": [
    "4.4"
  ],
  "resolution, Horn clause": [
    "4.4"
  ],
  "rest_conjuncts": [
    "4.4.4"
  ],
  "rest_disjuncts": [
    "4.4.4"
  ],
  "rest_statements": [
    "4.1.2"
  ],
  "retry": [
    "4.3.1"
  ],
  "return statement (handling in metacircular evaluator)": [
    "4.1.1"
  ],
  "return statement (parsing of)": [
    "4.1.2"
  ],
  "return value (None as)": [
    "4.1.1"
  ],
  "return value (representation in metacircular evaluator)": [
    "4.1.1",
    "4.1.3"
  ],
  "return_expression": [
    "4.1.2"
  ],
  "return_value_content": [
    "4.1.3"
  ],
  "reverse (rules)": [
    "4.4.3"
  ],
  "rule (query language)": [
    "4.4.1"
  ],
  "rule (query language) (applying)": [
    "4.4.2",
    "4.4.4"
  ],
  "rule (query language) (without body)": [
    "4.4.1",
    "4.4.4"
  ],
  "rule_body": [
    "4.4.4"
  ],
  "same": [
    "4.4.1"
  ],
  "satisfy a compound query": [
    "4.4.1"
  ],
  "satisfy a pattern (simple query)": [
    "4.4.1"
  ],
  "scale_list": [
    "4.2.3"
  ],
  "scan_out_declarations": [
    "4.1.1"
  ],
  "scanning out declarations (in metacircular evaluator)": [
    "4.1.1",
    "4.1.6"
  ],
  "scanning out declarations (sequential declaration processing vs.)": [
    "4.1.6"
  ],
  "scope of a name (internal declaration)": [
    "4.1.6"
  ],
  "search (depth first)": [
    "4.3.1"
  ],
  "search (systematic)": [
    "4.3.1"
  ],
  "sequence of statements (parsing of)": [
    "4.1.2"
  ],
  "sequential declaration processing vs.scanning out": [
    "4.1.6"
  ],
  "setup_environment": [
    "4.1.4"
  ],
  "simple query": [
    "4.4.1"
  ],
  "simple query (processing)": [
    "4.4.2",
    "4.4.4"
  ],
  "simple_query": [
    "4.4.4"
  ],
  "simple_query (without delayed expression)": [
    "4.4.4"
  ],
  "singleton_stream": [
    "4.4.4"
  ],
  "snarf": [
    "4.2"
  ],
  "solve (lazy list version)": [
    "4.2.3"
  ],
  "statement (value producing and non value producing)": [
    "4.1.2"
  ],
  "stream(s) (implemented as lazy lists)": [
    "4.2.3"
  ],
  "stream(s) (used in query interpreter)": [
    "4.4.2"
  ],
  "stream_append_delayed": [
    "4.4.4"
  ],
  "stream_flatmap": [
    "4.4.4"
  ],
  "strict": [
    "4.2.1"
  ],
  "success continuation (nondeterministic evaluator)": [
    "4.3.3"
  ],
  "symbol(s) (in environment operations)": [
    "4.1.3"
  ],
  "symbol(s) (in global environment)": [
    "4.1.4"
  ],
  "symbol(s) (in parsing of names)": [
    "4.1.2"
  ],
  "symbol(s) (in unparse)": [
    "4.4.4"
  ],
  "symbol(s) (representing names in metacircular evaluator)": [
    "4.1.1"
  ],
  "symbol_of_name": [
    "4.1.2"
  ],
  "syntactic analysis, separated from execution (in metacircular evaluator)": [
    "4.1.7"
  ],
  "syntactic form (as derived component)": [
    "4.1.2"
  ],
  "syntactic form (function vs.)": [
    "4.2.1"
  ],
  "syntactic forms (break statement)": [
    "4.1.2"
  ],
  "syntactic forms (continue statement)": [
    "4.1.2"
  ],
  "syntactic forms (while loop)": [
    "4.1.2"
  ],
  "systematic search": [
    "4.3.1"
  ],
  "tail (functional implementation of)": [
    "4.2.3"
  ],
  "tail recursion (metacircular evaluator and)": [
    "4.1.1"
  ],
  "the_empty_environment": [
    "4.1.3"
  ],
  "the_global_environment": [
    "4.1.4"
  ],
  "theorem proving (automatic)": [
    "4.4"
  ],
  "thunk": [
    "4.2.2"
  ],
  "thunk (forcing)": [
    "4.2.2"
  ],
  "thunk (implementation of)": [
    "4.2.2"
  ],
  "thunk (origin of name)": [
    "4.2.2"
  ],
  "time (in nondeterministic computing)": [
    "4.3",
    "4.3.1"
  ],
  "tree (lazy)": [
    "4.2.3"
  ],
  "tree (rational)": [
    "4.4.4"
  ],
  "truth maintenance": [
    "4.3.1"
  ],
  "truthiness": [
    "4.1.1",
    "4.1.3"
  ],
  "type": [
    "4.4.4"
  ],
  "unification": [
    "4.4.2"
  ],
  "unification (discovery of algorithm)": [
    "4.4"
  ],
  "unification (implementation)": [
    "4.4.4"
  ],
  "unification (pattern matching vs.)": [
    "4.4.2"
  ],
  "unify_match": [
    "4.4.4"
  ],
  "unique": [
    "4.4.4"
  ],
  "universal machine": [
    "4.1.5"
  ],
  "unparse (as inverse of parse)": [
    "4.1.2"
  ],
  "unparse (in query interpreter)": [
    "4.4.4"
  ],
  "upward compatibility": [
    "4.2.2"
  ],
  "user_print": [
    "4.1.4"
  ],
  "user_read": [
    "4.1.4"
  ],
  "value (of a program)": [
    "4.1.2"
  ],
  "variable (assignment, parsing of)": [
    "4.1.2"
  ],
  "vector (data structure) (for arguments of apply)": [
    "4.1.4"
  ],
  "verbs": [
    "4.3.2"
  ],
  "wheel": [
    "4.4.1",
    "4.4.3"
  ],
  "while": [
    "4.1.2"
  ],
  "while loop (implementing in analyzing evaluator)": [
    "4.1.7"
  ],
  "while loop (implementing in metacircular evaluator)": [
    "4.1.2"
  ],
  "whitespace characters": [
    "4.1.2"
  ]
}