Some improvements over the continuation call tabling implementation technique

Chico de Guzmán, Pablo; Carro Liñares, Manuel; Hermenegildo, Manuel V.; Silva, Cláudio y Rocha, Ricardo (2007). Some improvements over the continuation call tabling implementation technique. En: "7th International Colloquium on Implementation of Constraint and Logic Programming Systems", September 8, 2007, Porto, Portugal.

Descripción

Título: Some improvements over the continuation call tabling implementation technique
Autor/es:
  • Chico de Guzmán, Pablo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
  • Silva, Cláudio
  • Rocha, Ricardo
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems
Fechas del Evento: September 8, 2007
Lugar del Evento: Porto, Portugal
Título del Libro: Proceedings of CICLOPS 2007: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems
Fecha: 2007
Materias:
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 (851kB) | Vista Previa

Resumen

Tabled evaluation has been proved an effective method to improve several aspeets 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 need significant changes to the underlying Prolog implementation. More portable approaches, generally using program transformation, have been proposed but they often result in lower efficieney. We explore some techniques aimed at combining the best of these worlds, i.e., developing a portable and extensible implementation, with minimal modifications at the abstract machine level, and with reasonably good performance. Our preliminary results indícate promising results.

Más información

ID de Registro: 14600
Identificador DC: http://oa.upm.es/14600/
Identificador OAI: oai:oa.upm.es:14600
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 07 Mar 2013 07:30
Ultima Modificación: 21 Abr 2016 14:20
  • 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