Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A General Implementation Framework for Tabled CLP
Year:2012
Research Areas
  • Engineering
Information
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 experi- mentally compared with existing solutions in order to provide evidence of the mentioned advantages
International
Si
Congress
Functional and Logic Programming
960
Place
Kobe, Japan
Reviewers
Si
ISBN/ISSN
978-3-642-29821-9
978-3-642-29821-9
Start Date
23/05/2012
End Date
25/05/2012
From page
104
To page
119
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Participants
  • Autor: Pablo Chico de Guzmán Huerta (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)