Observatorio de I+D+i UPM

Memorias de investigación
Capítulo de libro:
Description and Evaluation of a Generic Design to Integrate CLP and Tabled Execution
Año:2016
Áreas de investigación
  • Ingenierías
Datos
Descripción
Logic programming systems with tabling and constraints (TCLP, tabled constraint logic programming) have been shown to be more expressive and in some cases more efficient than those featuring only either tabling or constraints. Previous implementations of TCLP systems which use entailment to determine call / answer subsumption did not provide a simple, uniform, and well-documented interface to facilitate the integration of additional constraint solvers in existing tabling systems, which would increase the application range of TCLP. We present the design and an experimental evaluation of Mod TCLP, a framework which eases this integration. Mod TCLP views the constraints solver as a client of the tabling system. The tabling system is generic w.r.t. the constraint solver and only requires a clear, small interface from the latter. We validate our design by integrating four constraint solvers: a re-engineered version of a previously existing constraint solver for difference constraints, written in C; the standard versions of Holzbauer's CLP(Q) and CLP(R), written in Prolog; and a new constraint solver for equations over finite lattices. We evaluate the performance of our framework in several benchmarks using the aforementioned constraint solvers. All the development work and evaluation was done in Ciao Prolog.
Internacional
Si
DOI
10.1145/2967973.2968596
Edición del Libro
Editorial del Libro
ACM New York, NY, USA
ISBN
978-1-4503-4148-6
Serie
Título del Libro
PPDP '16 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
Desde página
10
Hasta página
23
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Joaquin Arias Herrero (UPM)
  • Autor: Manuel Carro Liñares (UPM)
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: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 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)