Next: The Driver Loop and
Up: Logic Programming
Previous: Is Logic Programming Mathematical
Implementing the Query System
Section ![[*]](cross_ref_motif.gif)
described how the query system
works. Now we fill in the details by presenting a complete
implementation of the system.
Ryan Bender
2000-04-17