Tabling structures for bottom-up logic programming
Authors:
Roger Clayton;John G. Cleary;Bernhard Pfahringer;Mark Utting
Affiliations:
Department of Computer Science, University of Waikato, Hamilton, New Zealand;Department of Computer Science, University of Waikato, Hamilton, New Zealand;Department of Computer Science, University of Waikato, Hamilton, New Zealand;Department of Computer Science, University of Waikato, Hamilton, New Zealand
Venue:
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation