Failure tabled constraint logic programming by interpolation

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sondergaard, Peter J. Stuckey

Research output: Contribution to journalArticleResearchpeer-review

11 Citations (Scopus)

Abstract

We present a new execution strategy for constraint logic programs called Failure Tabled CLP. Similarly to Tabled CLP our strategy records certain derivations in order to prune further derivations. However, our method only learns from failed derivations. This allows us to compute interpolants rather than constraint projection for generation of reuse conditions. As a result, our technique can be used where projection is too expensive or does not exist. Our experiments indicate that Failure Tabling can speed up the execution of programs with many redundant failed derivations as well as achieve termination in the presence of infinite executions.

Original languageEnglish
Pages (from-to)593-607
Number of pages15
JournalTheory and Practice of Logic Programming
Volume13
Issue number4-5
DOIs
Publication statusPublished - 1 Jul 2013
Externally publishedYes

Cite this