A Query Language
- Query language without rules
- Assertions and queries (Sec.
4.4.1 of SICP)
- Simple queries
- Dot notation
- Compound queries
- Architecture (Sec.
4.4.2 of SICP)
- Pattern matching
- Streams of frames
- Compound queries (concatentation, merge, and filter)
- Implementation (Sec.
4.4.4 of SICP)
- query-driver-loop and instantiate
- qeval (simple-query, conjoin, disjoin, negate,
list-value)
- find-assertions, check-an-assertion, fetch-assertions
- pattern-match, extend-if-consistent
- Query language with rules
- Rules and unification (Sec.
4.4.1 of SICP)
- Logic as programs (Sec.
4.4.1 of SICP)
- Applying rules (Sec.
4.4.2 of SICP)
- Implementing rules and unification (Sec.
4.4.4 of SICP)
Sample Programs