4.4. Logic Programming

4.4.4. Implementing the Query System

• 4.4.4.1. The Driver Loop and Instantiation

• 4.4.4.2. The Evaluator

• 4.4.4.3. Finding Assertions by Pattern Matching

• 4.4.4.4. Rules and Unification

• 4.4.4.5. Maintaining the Data Base

• 4.4.4.6. Stream Operations

• 4.4.4.7. Query Syntax Procedures

• 4.4.4.8. Frames and Bindings