Observatorio de I+D+i UPM

Descripción
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 experi- mentally compared with existing solutions in order to provide evidence of the mentioned advantages
Internacional	Si
Nombre congreso	Functional and Logic Programming
Tipo de participación	960
Lugar del congreso	Kobe, Japan
Revisores	Si
ISBN o ISSN	978-3-642-29821-9
DOI	978-3-642-29821-9
Fecha inicio congreso	23/05/2012
Fecha fin congreso	25/05/2012
Desde la página	104
Hasta la página	119
Título de las actas	Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Esta actividad pertenece a memorias de investigación

• Autor: Pablo Chico de Guzmán Huerta (UPM)
• Autor: Manuel Carro Liñares (UPM)
• Autor: Manuel de Hermenegildo Salinas (UPM)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial