Next:
Over-Tabling
Up:
Definite Programs
Previous:
Subsumption-Based Tabling and Meta-Logical
Contents
Index
Potential Pitfalls in Tabling
Subsections
Over-Tabling
Tabled Predicates and Tracing
Luis Fernando P. de Castro 2003-06-27
