A Tabling Implementation Based on Variables with Multiple Bindings

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

Description

Title: A Tabling Implementation Based on Variables with Multiple Bindings
Author/s:
  • Chico de Guzmán, Pablo
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 25th International Conference on Logic Programming, ICLP '09
Event Dates: 14/07/2009 - 17/07/2009
Event Location: Pasadena, California, EEUU
Title of Book: Proceedings of the 25th International Conference on Logic Programming
Date: 2009
ISBN: 978-3-642-02845-8
Volume: 5649
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (209kB) | Preview

Abstract

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.

More information

Item ID: 5711
DC Identifier: http://oa.upm.es/5711/
OAI Identifier: oai:oa.upm.es:5711
Official URL: http://www.springerlink.com/content/b02575410441k464/
Deposited by: Memoria Investigacion
Deposited on: 18 Jan 2011 09:24
Last Modified: 20 Apr 2016 14:26
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM