[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

An External Module for Implementing Linear Tabling in Prolog

Extended Abstract

  • Conference paper
Logic Programming (ICLP 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4079))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Similar content being viewed by others

References

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DCC-FC & LIACC University of Porto, Portugal

    Cláudio Silva, Ricardo Rocha & Ricardo Lopes

Authors
  1. Cláudio Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ricardo Rocha
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ricardo Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Twente, The Netherlands

    Sandro Etalle

  2. Department of Computer Science, University of Kentucky, 40506, Lexington, KY, USA

    Mirosław Truszczyński

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, C., Rocha, R., Lopes, R. (2006). An External Module for Implementing Linear Tabling in Prolog. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_35

Download citation

  • DOI: https://doi.org/10.1007/11799573_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-36635-5

  • Online ISBN: 978-3-540-36636-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation