×
格雷姆·恒河;豪尔赫·纳瓦斯。;彼得·沙赫特;哈拉尔德·森德加德;彼得·斯图基（Peter J.Stuckey）。

通过插值进行故障表约束逻辑编程。 （英语） Zbl 1286.68043号

理论与实践。日志。程序。 13，编号4-5593-607（2013）.
摘要：我们为约束逻辑程序提出了一种新的执行策略，称为Failure Tabled CLP。与表CLP类似，我们的策略记录了某些派生，以便修剪进一步的派生。然而，我们的方法只从失败的推导中学习。这允许我们计算插值，而不是约束投影来生成重用条件。因此，我们的技术可以用于投影过于昂贵或不存在投影的情况。我们的实验表明，Failure Tabling可以加快具有许多冗余失败派生的程序的执行，并在存在无限执行的情况下实现终止。

引用于4文件

MSC公司：

68N17号 逻辑编程

软件：

跟踪器
PDF格式BibTeX公司 XML格式引用
\textit{G.Gange}等人，《理论与实践》。日志。程序。13、编号4--5、593--607（2013；Zbl 1286.68043）
全文： 内政部

参考文献：

[1] 《可满足性、布尔建模和计算杂志》，第8页，第1页，（2012年）
[2] 约束逻辑程序设计导论（1998）
[3] 内政部：10.2307/2963593·Zbl 0081.24402号 ·doi:10.2307/2963593
[4] 内政部：10.1017/S1471068411000457·Zbl 1244.68019号 ·doi:10.1017/S1471068411000457
[5] 内政部：10.1145/131295.131299·数字对象标识代码：10.1145/131295.131299
[6] 数字对象标识码：10.1007/s10009-007-0044-z·Zbl 05536156号 ·doi:10.1007/s10009-007-0044-z
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。