An Improved Continuation Call-Based Implementation of Tabling

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. and Silva, Cláudio and Rocha, Ricardo (2008). An Improved Continuation Call-Based Implementation of Tabling. In: "10th International Symposium on Practical Aspects of Declarative Languages (PADL 2008)", 07-08 Jan 2008, San Francisco. ISBN 978-3-540-77442-6. pp. 197-213. https://doi.org/10.1007/978-3-540-77442-6_14.

Description

Title: An Improved Continuation Call-Based Implementation of Tabling
Author/s:
  • Chico de Guzmán, Pablo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
  • Silva, Cláudio
  • Rocha, Ricardo
Item Type: Presentation at Congress or Conference (Article)
Event Title: 10th International Symposium on Practical Aspects of Declarative Languages (PADL 2008)
Event Dates: 07-08 Jan 2008
Event Location: San Francisco
Title of Book: Practical Aspects of Declarative Languages
Título de Revista/Publicación: Lecture Notes in Computer Science
Date: December 2008
ISBN: 978-3-540-77442-6
ISSN: 0302-9743
Volume: 4902
Subjects:
Freetext Keywords: Tabled logic programming; Implementation; Performance; Program transformation
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (692kB) | Preview

Abstract

Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several “native” implementations of tabled evaluation have been developed which offer good performance, but many of them require significant changes to the underlying Prolog implementation, including the compiler and the abstract machine. Approaches based on program transformation, which tend to minimize changes to both the Prolog compiler and the abstract machine, have also been proposed, but they often result in lower efficiency. We explore some techniques aimed at combining the best of these worlds, i.e., developing an extensible implementation which requires minimal modifications to the compiler and the abstract machine, and with reasonably good performance. Our preliminary experiments indicate promising results.

More information

Item ID: 2923
DC Identifier: http://oa.upm.es/2923/
OAI Identifier: oai:oa.upm.es:2923
DOI: 10.1007/978-3-540-77442-6_14
Official URL: http://www.springer.com/series/558?changeHeader
Deposited by: Memoria Investigacion
Deposited on: 11 May 2010 09:22
Last Modified: 29 Oct 2018 13:15
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM