Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
An Improved Continuation Call-Based Implementation of Tabling
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several “native” implementations of tabled evaluation have been developed which offer good performance, but many of them require significant changes to the underlying Prolog implementation, including the compiler and the abstract machine. Approaches based on program transformation, which tend to minimize changes to both the Prolog compiler and the abstract machine, have also been proposed, but they often result in lower efficiency. We explore some techniques aimed at combining the best of these worlds, i.e., developing an extensible implementation which requires minimal modifications to the compiler and the abstract machine, and with reasonably good performance. Our preliminary experiments indicate promising results.
Internacional
Si
JCR del ISI
No
Título de la revista
Practical Aspects of Declarative Languages
ISSN
03029743
Factor de impacto JCR
0
Información de impacto
Volumen
2008
DOI
10.1007/978-3-540-77442-6_14
Número de revista
4902
Desde la página
197
Hasta la página
213
Mes
ENERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Pablo Chico de Guzmán (UPM)
  • Autor: Manuel de Hermenegildo Salinas (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: Inteligencia Artificial
  • 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)