An Improved Continuation Call-Based Implementation of Tabling

Hermenegildo, Manuel V.; Carro Liñares, Manuel; Silva, Cláudio y Rocha, Ricardo (2008). An Improved Continuation Call-Based Implementation of Tabling. "Lecture Notes in Computer Science", v. 4902 ; pp. 197-213. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-77442-6_14.

Descripción

Título: An Improved Continuation Call-Based Implementation of Tabling
Autor/es:
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
  • Silva, Cláudio
  • Rocha, Ricardo
Tipo de Documento: Artículo
Título de Revista/Publicación: Lecture Notes in Computer Science
Fecha: Diciembre 2008
Volumen: 4902
Materias:
Palabras Clave Informales: Tabled logic programming, implementation, performance, program transformation.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (692kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 2923
Identificador DC: http://oa.upm.es/2923/
Identificador OAI: oai:oa.upm.es:2923
Identificador DOI: 10.1007/978-3-540-77442-6_14
URL Oficial: http://www.springer.com/series/558?changeHeader
Depositado por: Memoria Investigacion
Depositado el: 11 May 2010 09:22
Ultima Modificación: 20 Abr 2016 12:32
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM