A general implementation framework for tabled CLP

Carro Liñares, Manuel and Hermenegildo, Manuel V. and Chico de Guzmán, Pablo and Stuckey, P.J. (2012). A general implementation framework for tabled CLP. In: "11th International Symposium, FLOPS 2012", 23/05/2012 - 25/05/2012, Kobe, Japan. ISBN 978-3-642-29821-9. pp. 104-119.

Description

Title: A general implementation framework for tabled CLP
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
  • Chico de Guzmán, Pablo
  • Stuckey, P.J.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 11th International Symposium, FLOPS 2012
Event Dates: 23/05/2012 - 25/05/2012
Event Location: Kobe, Japan
Title of Book: Functional and Logic Programming
Date: 2012
ISBN: 978-3-642-29821-9
Volume: 7294
Subjects:
Freetext Keywords: Constraint Logic Programming, Tabling, Implementation, Performance, Limitaciones de la programación lógica, Presentación, Implementación, Rendimiento.
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 (934kB) | Preview

Abstract

This paper describes a framework to combine tabling evalua- tion and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flex- ibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or fail- ure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

More information

Item ID: 20528
DC Identifier: http://oa.upm.es/20528/
OAI Identifier: oai:oa.upm.es:20528
Official URL: http://www.springer.com/computer/swe/book/978-3-642-29821-9
Deposited by: Memoria Investigacion
Deposited on: 05 Nov 2013 17:58
Last Modified: 21 Apr 2016 23:22
  • 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