next up previous contents
Next: Table Builtins Up: Handling Large Fact Files Previous: Indexing Static Program Clauses

Bibliographic Notes

The idea of using program transformations as a general method to index program clauses was presented in a rough form by [#!HM89!#] [#!DRRSSSW94!#] extented these ideas to factor unifications ...


David S. Warren
1999-07-31