帕斯卡·范·亨特利克；萨拉斯瓦特，维杰；伊夫·迪维尔 约束语言（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） 全文： 内政部