A general implementation framework for tabled CLP

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

Descripción

Título: A general implementation framework for tabled CLP
Autor/es:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
  • Chico de Guzmán, Pablo
  • Stuckey, P.J.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 11th International Symposium, FLOPS 2012
Fechas del Evento: 23/05/2012 - 25/05/2012
Lugar del Evento: Kobe, Japan
Título del Libro: Functional and Logic Programming
Fecha: 2012
ISBN: 978-3-642-29821-9
Volumen: 7294
Materias:
Palabras Clave Informales: Constraint Logic Programming, Tabling, Implementation, Performance, Limitaciones de la programación lógica, Presentación, Implementación, Rendimiento.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (934kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 20528
Identificador DC: http://oa.upm.es/20528/
Identificador OAI: oai:oa.upm.es:20528
URL Oficial: http://www.springer.com/computer/swe/book/978-3-642-29821-9
Depositado por: Memoria Investigacion
Depositado el: 05 Nov 2013 17:58
Ultima Modificación: 21 Abr 2016 23:22
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM