Memorias de investigación
Ponencias en congresos:
A General Implementation Framework for Tabled CLP
Año:2012
Áreas de investigación
  • Ingenierías
Datos
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
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial