A Tabling Implementation Based on Variables with Multiple Bindings

Chico de Guzmán, Pablo; Carro Liñares, Manuel y Hermenegildo, Manuel V. (2009). A Tabling Implementation Based on Variables with Multiple Bindings. En: "25th International Conference on Logic Programming, ICLP '09", 14/07/2009 - 17/07/2009, Pasadena, California, EEUU. ISBN 978-3-642-02845-8.

Descripción

Título: A Tabling Implementation Based on Variables with Multiple Bindings
Autor/es:
  • Chico de Guzmán, Pablo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 25th International Conference on Logic Programming, ICLP '09
Fechas del Evento: 14/07/2009 - 17/07/2009
Lugar del Evento: Pasadena, California, EEUU
Título del Libro: Proceedings of the 25th International Conference on Logic Programming
Fecha: 2009
ISBN: 978-3-642-02845-8
Volumen: 5649
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 (209kB) | Vista Previa

Resumen

Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known implementation approaches for this purpose. Resuming a goal using this technique reinstalls the bindings for all the variables in the environment where the goal was suspended. In this paper we explore an alternative approach where variables can keep track of several bindings, associated with suspensions. Resuming a goal boils down to determining which suspension has to be resumed, in order to select, when dereferencing, the bindings which were active at the moment of suspending. We present the ideas behind this approach, highlight several advantages over other suspension-based implementations, and perform an experimental evaluation. We also recall the similarity between OR-parallelism and suspension-based implementations of tabling, and discuss similarities with the Version Vectors Method, among others.

Más información

ID de Registro: 5711
Identificador DC: http://oa.upm.es/5711/
Identificador OAI: oai:oa.upm.es:5711
URL Oficial: http://www.springerlink.com/content/b02575410441k464/
Depositado por: Memoria Investigacion
Depositado el: 18 Ene 2011 09:24
Ultima Modificación: 20 Abr 2016 14:26
  • 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