汤姆·施里杰弗斯;巴特·德梅恩;大卫·沃伦。 TCHR:表格CLP的框架。 (英语) Zbl 1148.68013号 理论与实践。日志。程序。 8,第4期,491-526(2008). 摘要:表约束逻辑编程是一种强大的执行机制,用于处理约束逻辑编程,而不用担心不动点计算。已经提出了各种应用,例如在程序分析和模型检查领域。不幸的是,缺乏用于开发新应用程序的高级系统,程序员被迫求助于复杂的即席解决方案。本文介绍了表约束逻辑编程的高级框架TCHR。它以轻量级的方式将约束处理规则(Constraint Handling Rules)与表逻辑编程集成在一起,这是一种用于约束求解器的高级语言。该框架很容易用新的特定于应用程序的约束域进行实例化。可以实例化各种高级操作来控制性能。特别是,我们提出了一种新的通用答案集压缩技术。 引用于2文件 MSC公司: 68N17号 逻辑编程 关键词:约束逻辑程序设计;约束处理规则;表格执行 软件:TCHR公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《理论与实践》。日志。程序。8,第4号,491--526(2008;Zbl 1148.68013) 全文: 内政部 参考文献: [1] Toman,约束数据库及其应用,第二届约束数据库系统国际研讨会(CDB’97),第246页–(1997) [2] 托曼,《约束:国际期刊》,约束与数据库专刊2,第337页–(1997)·Zbl 0889.68046号 ·doi:10.1023/A:1009799613661 [3] Schrijvers,CICLOPS 2003:约束和逻辑编程系统实现座谈会会议记录第7页–(2003) [4] Mukund,解析和演绎制表国际研讨会。第1页–(2000年) [5] 万豪酒店,《有约束的编程:导论》。(1998) ·Zbl 0935.68098号 [6] Kanellakis,第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。第26页–(1995) [7] Duck,ICLP’04:第20届逻辑编程国际会议论文集。第90页–(2004) [8] Holzbaur,《约束处理规则应用人工智能杂志》特刊,第14页,369页–(2000)·兹伯利05386824 ·doi:10.1080/088395100117043 [9] Duck,ICLP’04:第20届逻辑编程国际会议论文集。第105页–(2004) [10] Du,IEEE实时系统研讨会。第175页–(2000) [11] 郭,Proc。第六届声明性语言实践问题国际研讨会第163页(2004年)·doi:10.1007/978-3-540-24836-112 [12] Frühwirth,《约束编程要点》第145页–(2003)·doi:10.1007/978-3-662-05138-2 [13] 崔,《理论计算机科学电子笔记》第67页–(2000) [14] Cui,CL 2000:第一届国际计算逻辑会议论文集第478页–(2000)·数字对象标识代码:10.1007/3-540-44957-4_32 [15] 克拉克,《逻辑与数据库》第293页–(1987) [16] Schrijvers,ICLP’04:第20届逻辑编程国际会议论文集第120页–(2004) [17] Schrijvers,《约束处理规则第一次研讨会:精选贡献》第1页–(2004年) [18] Sarna-Starosta,第五届正式工程方法国际会议,ICFEM 2003,第579页–(2003) [19] Rao,逻辑编程联合国际会议和研讨会,pp 112–(1996) [20] 彭马萨尼,逻辑编程国际会议。第405页–(2002) [21] 托曼,《96年约束数据库研讨会论文集》。第64页–(1996) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。