Failure tabled constraint logic programming by interpolation
2013 ◽
Vol 13
(4-5)
◽
pp. 593-607
◽
Keyword(s):
Speed Up
◽
AbstractWe present a new execution strategy for constraint logic programs calledFailure Tabled CLP. Similarly toTabled CLPour strategy records certain derivations in order to prune further derivations. However, our method only learns fromfailed derivations. This allows us to computeinterpolantsrather thanconstraint projectionfor generation ofreuse 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.
2018 ◽
Vol 18
(5-6)
◽
pp. 928-949
◽
2002 ◽
Vol 2
(4-5)
◽
pp. 549-610
◽
2018 ◽
Vol 18
(5-6)
◽
pp. 722-724
2019 ◽
Vol 19
(5-6)
◽
pp. 1107-1123
2009 ◽
Vol 9
(02)
◽
pp. 145-164
◽