Contents
Exercises
Leaderboard
The book
Login
Sign up
English
Русский
Contents
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