Next: Bibliographic Notes
Up: Handling Large Fact Files
Previous: Dynamically Loaded Fact Files
Indexing Static Program Clauses
For static (or compiled) user predicates, the compiler accepts a
directive that performs a variant of
unification factoring
[#!DRRSSSW94!#].
....
David S. Warren
1999-07-31