菲利普·科多涅特；丹尼尔·迪亚兹 在clp（FD）中编译约束。 （英语） Zbl 0874.68054号 J.日志。程序。 27，第3期，185-226（1996）. 摘要：我们提出了clp（FD）系统：一种具有有限域约束的约束逻辑编程语言。我们详细介绍了它的实现，并为约束求解器提供了一个抽象指令集，可以顺利地集成到WAM体系结构中。它基于使用\（r）中的单个基本约束\（X）嵌入核心传播机制。复杂的用户约束（如线性方程或不等式）被编译为表达式中的（X），表达式对选择用于求解约束的传播方案进行编码。对单个基本约束的统一处理有助于更好地理解整体约束求解过程，并允许进行三种主要的通用优化，其中包括以前对“黑盒”有限域解算器的许多特定优化。实现结果表明，该方法既简单又高效。我们的clp（FD）系统的平均速度约为CHIP的四倍，峰值加速达到八倍。我们还表明，遵循“玻璃盒”方法，clp（FD）可以通过各种新的约束来自然增强，如构造析取、布尔约束、非线性约束和符号约束。 引用于13文件 MSC公司： 68N17号 逻辑编程 关键词：clp（FD）系统 软件：wamcc公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Codognet}和\textit{D.Diaz}，J.Log。程序。27，第3号，185--226（1996；Zbl 0874.68054） 全文： 内政部