Some improvements over the continuation call tabling implementation technique

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo, Manuel V. and Silva, Cláudio and Rocha, Ricardo (2007). Some improvements over the continuation call tabling implementation technique. In: "7th International Colloquium on Implementation of Constraint and Logic Programming Systems", September 8, 2007, Porto, Portugal.

Description

Title: Some improvements over the continuation call tabling implementation technique
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: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems
Event Dates: September 8, 2007
Event Location: Porto, Portugal
Title of Book: Proceedings of CICLOPS 2007: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems
Date: 2007
Subjects:
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 (851kB) | Preview

Abstract

Tabled evaluation has been proved an effective method to improve several aspeets 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 need significant changes to the underlying Prolog implementation. More portable approaches, generally using program transformation, have been proposed but they often result in lower efficieney. We explore some techniques aimed at combining the best of these worlds, i.e., developing a portable and extensible implementation, with minimal modifications at the abstract machine level, and with reasonably good performance. Our preliminary results indícate promising results.

More information

Item ID: 14600
DC Identifier: http://oa.upm.es/14600/
OAI Identifier: oai:oa.upm.es:14600
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 07 Mar 2013 07:30
Last Modified: 21 Apr 2016 14:20
  • 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