Observatorio de I+D+i UPM

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

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

• 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