4.4.4 Implementing the Query System
4.4.4.8 Frames and Bindings
Exercises:
- 4.71 . Explicit delay in the simple-query and disjoin procedures
- 4.72 . Streams interleaving
- 4.73 . Explicit delay in flatten-stream
- 4.74 . A simpler version of stream-flatmap
- 4.75 . A new special form - unique
- 4.76 . Separate processing the two clauses of the 'and'
- 4.77 . The filtering in a ''delayed'' manner
- 4.78 . The query language as a nondeterministic program
- 4.79 . A rule-application method that uses environments