An External Module for Implementing Linear Tabling in Prolog
In previous work , we have presented a proposal to combine the power of tabling with the Extended Andorra Model (EAM) in order to produce an execution model with advanced control strategies that guarantees termination, avoids looping, reduces the search space, and is less sensitive to goal ordering.
KeywordsLogic Programming Variant Call External Module Beam System Declarative Language
- 4.Guo, H.F., Gupta, G.: A Simple Scheme for Implementing Tabling based on Dynamic Reordering of Alternatives. In: Conference on Tabulation in Parsing and Deduction, pp. 141–154 (2000)Google Scholar