×
汤姆·施里杰弗斯;巴特·德梅恩;马库斯·特里斯卡;德索特，贝诺特

托尔：模块化搜索，可挂钩分离。 （英语） Zbl 1283.68318号

科学。计算。程序。 84, 101-120 (2014).
小结：Horn子句程序具有自然详尽的深度优先过程语义。然而，对于许多程序来说，这种语义是无效的。为了计算有用的解决方案，需要能够修改搜索方法，该方法探索替代执行分支。{}托尔Prolog析取的一个定义良好的挂钩提供了这种能力。由于其库方法，它是轻量级的，并且由于它基于程序转换，所以它是高效的。托尔足够通用，可以模拟ECLiPSe等搜索修改谓词搜索/6此外，托尔支持搜索方法和其他挂钩的模块化组合。这个托尔该库已经提供并用作SWI-Pro的附加组件。

引用于4文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68N17号 逻辑编程

关键词：

序言;树搜索;启发式;模块化

软件：

彗星;SWI序言;Gecode公司;XSB公司;SICStus公司;YAP Prolog公司;B-序言;序言;clpfd公司
PDF格式BibTeX公司 XML格式引用
\textit｛T.Schrijvers｝等人，《科学》。计算。程序。84、101-120（2014；Zbl 1283.68318）
全文： 内政部

参考文献：

[1] Kowalski，R.，《问题解决的逻辑》（1979），北荷兰人·Zbl 0426.68002号
[2] Wielemaker，J。；施里杰弗斯，T。；特里斯卡，M。；Lager，T.，SWI-Prolog，逻辑编程理论与实践，12，67-96（2012）·Zbl 1244.68023号
[3] 辛普夫，J。；沈坤，从LP到CLP的ECLiPSe，逻辑程序设计理论与实践，12，127-156（2012）·Zbl 1244.68020号
[5] 卡尔森，M。；Mildner，P.，SICStus Prolog-前25年，逻辑编程理论与实践，12，35-66（2012）·Zbl 1244.68016号
[6] 周南芳，《B-Prolog的语言特征和结构》，《逻辑程序设计理论与实践》，第12期，第189-218页（2012年）·Zbl 1244.68024号
[7] 迪亚兹，D。；Abreu，S。；Codognet，P.，《论GNU-Prolog的实现》，《逻辑编程理论与实践》，第12期，第253-282页（2012年）·Zbl 1244.68018号
[8] Hermenegildo，M.V。；布埃诺，F。；卡罗，M。；洛佩斯·加西亚，P。；梅拉，E。；莫拉莱斯，J.F。；Puebla，G.，Ciao及其设计哲学概述，逻辑编程理论与实践，12119-252（2012）·Zbl 1244.68019号
[10] Simonis，H。；Davern，P。；费尔德曼，J。；梅塔，D。；克萨达，L。；Carlsson，M.，《cp的通用可视化平台》（Proceedings of Principles and Practice of Constraint Programming-cp 2010）。约束编程原理与实践论文集—CP 2010，计算机科学讲义，第6308卷（2010），Springer），460-474
[11] 斯特林，L。；夏皮罗（Shapiro，E.），《序言的艺术：高级编程技术》（The Art of Prolog:Advanced Programming Techniques）（1994），麻省理工学院出版社：麻省理学院出版社剑桥·兹比尔0850.68137
[13] 施里杰弗斯，T。；Stuckey，P.J。；Wadler，P.，一元约束编程，函数编程杂志，19663-697（2009）·Zbl 1184.68166号
[14] 施里杰弗斯，T。；塔克，G。；Wuille，P。；萨穆洛维茨，H。；Stuckey，P.，搜索组合子，（第17届约束编程原理与实践国际会议论文集，CP 2011。第17届约束编程原理与实践国际会议论文集，CP 2011，计算机科学讲义，第6876卷（2011），Springer），774-788
[15] Van Hentenryck，P。；Michel，L.，《基于约束的局部搜索》（2005），麻省理工出版社
[16] Van Hentenryck，P。；Michel，L.，《混合搜索的非确定性控制》，约束，11，353-373（2006）·Zbl 1112.68039号
[20] 斯威夫特，T。；D.S.沃伦。，XSB：用表格逻辑编程扩展Prolog，逻辑编程理论与实践，12，157-187（2012）·Zbl 1244.68021号
[21] Santos Costa，V。；罗查，R。；Damas，L.，《YAP Prolog系统，逻辑编程理论与实践》，第12期，第5-34页（2012年）·Zbl 1244.68017号
[22] 琼斯，M.P。；Duponcheel，L.，《合成单子》，研究报告YALEU/DCS/RR-1004（1993），耶鲁大学计算机科学系：耶鲁大学，计算机科学系，康涅狄格州纽黑文
[23] Filinski，A.，Monads in action，（第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2010（2010），ACM），483-494·Zbl 1312.68038号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。