An External Module for Implementing Linear Tabling in Prolog

Extended Abstract
  • Cláudio Silva
  • Ricardo Rocha
  • Ricardo Lopes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)


In previous work [1], 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.


Logic Programming Variant Call External Module Beam System Declarative Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Rocha, R., Lopes, R., Silva, F., Santos Costa, V.: IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 416–417. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Lopes, R., Santos Costa, V., Silva, F.: A Novel Implementation of the Extended Andorra Model. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 199–213. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Zhou, N.F., Shen, Y.D., Yuan, L.Y., You, J.H.: Implementation of a Linear Tabling Mechanism. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 109–123. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 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
  5. 5.
    Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., Warren, D.S.: Efficient Access Mechanisms for Tabled Logic Programs. Journal of Logic Programming 38, 31–54 (1999)MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Cláudio Silva
    • 1
  • Ricardo Rocha
    • 1
  • Ricardo Lopes
    • 1
  1. 1.DCC-FC & LIACC University of PortoPortugal

Personalised recommendations