Hexlet SICP
Contents
Exercises
How to read
Book
Login
Register
English
Русский
Table Of Content
4 Metalinguistic Abstraction
4.4 Logic Programming
4.4.4 Implementing the Query System
Previous chapter
Next chapter
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
There are no comments yet.
Authentication required
You must log in to post a comment.
Login