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.

Description

Title: Supporting pruning in tabled LP
Author/s:
  • 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
Subjects:
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

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

Abstract

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: http://oa.upm.es/29547/
OAI Identifier: oai:oa.upm.es:29547
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-642-45284-0_5
Deposited by: Memoria Investigacion
Deposited on: 24 Jul 2014 11:43
Last Modified: 23 Nov 2017 10:29
  • 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