Next: Compiling Higher Order Up: Future Extensions Previous: Using Additional Information


Instead of recompiling a procedure when additional clauses are asserted at its front or end, one can simply add the new clauses at the top of the index tree:

This method results in a loss of (time) efficiency when too many clauses are asserted because these new clauses are not indexed. Still, in that case only the header code for the index tree has to be reorganized; the old clauses themselves need not to be recompiled.

Michael Sintek -