Failure tabled constraint logic programming by interpolation

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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 13; číslo 4-5; s. 593 - 607
Hlavní autoři:	GANGE, GRAEME, NAVAS, JORGE A., SCHACHTE, PETER, SØNDERGAARD, HARALD, STUCKEY, PETER J.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2013
Témata:	Derivation Failure Interpolation Logic programming Projection Redundant Regular Papers Reuse Strategy
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!