Supporting pruning in tabled LP

Chico de Guzmán, Pablo and Hermenegildo, Manuel V. and Carro Liñares, Manuel (2013). Supporting pruning in tabled LP. In: "15th International Symposium, PADL 2013", 21-22 Jan 2013, Roma, Italia. ISBN 978-3-642-45283-3. pp. 60-76.


Title: Supporting pruning in tabled LP
  • Chico de Guzmán, Pablo
  • Hermenegildo, Manuel V.
  • Carro Liñares, Manuel
Item Type: Presentation at Congress or Conference (Unspecified)
Event Title: 15th International Symposium, PADL 2013
Event Dates: 21-22 Jan 2013
Event Location: Roma, Italia
Title of Book: Practical Aspects of Declarative Languages
Título de Revista/Publicación: Practical Aspects of Declarative Languages
Date: 2013
ISBN: 978-3-642-45283-3
Volume: 7752
Freetext Keywords: Logic Programming; Tabling; Pruning; Performance
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview


This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and evaluated. Using once/1 with answer-on-demand strategies makes it possible to avoid computing unneeded solutions for problems which can benefit from tabled LP but in which only a single solution is needed, such as model checking and planning. The proposed version of once/1 is also directly applicable to the efficient implementation of other optimizations, such as early completion, cut-fail loops (to, e.g., prune at the top level), if-then-else, and constraint-based branch-and-bound optimization. Although once/1 still presents open issues such as dependencies of tabled solutions on program history, our experimental evaluation confirms that it provides an arbitrarily large efficiency improvement in several application areas.

More information

Item ID: 29547
DC Identifier:
OAI Identifier:
Deposited by: Memoria Investigacion
Deposited on: 24 Jul 2014 11:43
Last Modified: 21 Apr 2016 23:56
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM