Towards a Complete Scheme for Tabled Execution Based on Program Transformation

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). Towards a Complete Scheme for Tabled Execution Based on Program Transformation. In: "11th International Symposium Practical Aspects of Declarative Languages, PADL 2009", 19/01/2009 - 20/01/2009, Savannah, Georgia, EEUU. ISBN 978-3-540-92995-6.

Description

Title: Towards a Complete Scheme for Tabled Execution Based on Program Transformation
Author/s:
  • Chico de Guzmán, Pablo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 11th International Symposium Practical Aspects of Declarative Languages, PADL 2009
Event Dates: 19/01/2009 - 20/01/2009
Event Location: Savannah, Georgia, EEUU
Title of Book: Proceedings of 11th International Symposium Practical Aspects of Declarative Languages, PADL 2009
Date: 2009
ISBN: 978-3-540-92995-6
Volume: 5418
Subjects:
Freetext Keywords: abled logic programming - Continuation-call tabling - 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 (174kB) | Preview

Abstract

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known —as are the significant implementation, portability, and maintenance efforts that some proposals (especially those based on suspension) require. This implementation effort is reduced by program transformation-based continuation call techniques, at some efficiency cost. However, the traditional formulation of this proposal [1] limits the interleaving of tabled and non-tabled predicates and thus cannot be used as-is for arbitrary programs. In this paper we present a complete translation for the continuation call technique which, while requiring the same runtime support as the traditional approach, solves these problems and makes it possible to execute arbitrary tabled programs. We also present performance results which show that the resulting CCall approach offers a useful tradeoff that can be competitive with other state-of-the-art implementations

More information

Item ID: 5736
DC Identifier: http://oa.upm.es/5736/
OAI Identifier: oai:oa.upm.es:5736
Official URL: http://www.springerlink.com/content/d451205121j6n7g2/
Deposited by: Memoria Investigacion
Deposited on: 19 Jan 2011 10:52
Last Modified: 20 Apr 2016 14:28
  • 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