An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives

Abstract

Tabling is a technique of resolution that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. We can distinguish two main categories of tabling mechanisms: suspension-based tabling and linear tabling. In suspension-based tabling, a tabled evaluation can be seen as a sequence of sub-computations… (More)
DOI: 10.1007/978-3-642-11503-5_23

Topics

  • Presentations referencing similar topics