Implementing the Query System

SICP > Metalinguistic Abstraction > Logic Programming > Implementing the Query System
Previous: Is Logic Programming Mathematical Logic? Next: The Driver Loop and Instantiation
    The Driver Loop and Instantiation
    The Evaluator
    Finding Assertions by Pattern Matching
    Rules and Unification
    Maintaining the Data Base
    Stream Operations
    Query Syntax Procedures
    Frames and Bindings

Section [*] described how the query system works. Now we fill in the details by presenting a complete implementation of the system.


Previous: Is Logic Programming Mathematical Logic? Next: The Driver Loop and Instantiation
    The Driver Loop and Instantiation
    The Evaluator
    Finding Assertions by Pattern Matching
    Rules and Unification
    Maintaining the Data Base
    Stream Operations
    Query Syntax Procedures
    Frames and Bindings
webmaster@arsdigita.org