帕斯卡·范·亨特利克;维杰·萨拉斯瓦特;伊夫·德维尔 约束语言(cc(FD))的设计、实现和评估。 (英语) Zbl 0920.68026号 J.日志。程序。 37,编号1-3,139-164(1998). 摘要:本文描述了约束逻辑语言cc(FD)的设计、实现和应用\(cc(FD)是一种基于约束逻辑编程(CLP)方案的扩展框架的有限域上的声明性非确定性约束逻辑语言。其约束求解器包括自然数上的(非线性)算术约束,这些约束是使用域和区间一致性近似的。(cc(FD))的主要新颖之处在于包含了许多通用组合子,特别是基数、构造析取和阻塞蕴涵,以及新的约束操作,如约束蕴涵和泛化。这些组合词显著提高了CLP语言的操作表达性、可扩展性和灵活性,并允许在语言级别解决非本原约束和析取的定义等问题。(cc(FD))(约40000行C)的实现包括基于WAM的引擎、基于AC-5的最佳电弧一致性算法以及组合器的增量实现。报道了许多问题的结果,包括调度、资源分配、排序、打包和哈密顿路径,并表明\(cc(FD)\)在许多组合问题上接近过程语言。此外,一个小的(cc(FD)程序能够找到一个著名的10/10析取调度问题的最优解并证明其最优性,该问题开放了20多年,最终于1986年得到解决。 引用于33文件 MSC公司: 68甲15 编程语言理论 关键词:约束逻辑语言;\(cc(FD)\) 软件:Numerica公司;立方厘米(FD) PDF格式BibTeX公司 XML格式引用 \textit{P.Van Hentenryck}等人,J.Log。程序。37,编号1--3,139-164(1998;Zbl 0920.68026) 全文: 内政部