A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation

Hermenegildo, Manuel V. and Carro Liñares, Manuel (2008). A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. "Lecture Notes in Computer Science", v. 5366 ; pp. 795-800. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-89982-2_79.

Description

Title: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
Author/s:
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Item Type: Article
Título de Revista/Publicación: Lecture Notes in Computer Science
Date: December 2008
ISSN: 0302-9743
Volume: 5366
Subjects:
Freetext Keywords: Tabled logic programming, continuation-call tabling, implementation, performance, program transformation.
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
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 (179kB) | Preview

Abstract

Tabled evaluation has proved to be an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. “Native” implementations of tabled evaluation offer good performance, but also require significant implementation effort, affecting compiler and abstract machine. Alternatively, program transformation-based implementations, such as the original continuation call (CCall) technique, offer lower implementation burden at some efficiency cost. A limitation of the original CCall proposal is that it limits the interleaving of tabled and non-tabled predicates and thus cannot be used for arbitrary programs. In this work we present an extension of the CCall technique that allows the execution of arbitrary tabled programs, as well as some performance results. Our approach offers a useful tradeoff that can be competitive with state-of-the-art implementations, while keeping implementation effort relatively low.

More information

Item ID: 2900
DC Identifier: http://oa.upm.es/2900/
OAI Identifier: oai:oa.upm.es:2900
DOI: 10.1007/978-3-540-89982-2_79
Official URL: http://www.springer.com/computer/lncs?SGWID=0-164-0-0-0
Deposited by: Memoria Investigacion
Deposited on: 26 Apr 2010 11:25
Last Modified: 20 Apr 2016 12:31
  • 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