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


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


  • Presentations referencing similar topics