Constraint logic programming: selected research
Constraint logic programming: selected research
复制标题
约束逻辑编程：选定的研究
DOI：
--
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
A. Colmerauer
中科院分区：
文献类型：
--
作者：
F. Benhamou;A. Colmerauer
约束逻辑编程，即使用部分信息进行计算的概念，正在被公认为是对当前一代编程语言的显着改进。这个集合介绍了约束逻辑编程语言的所有方面的最佳当前工作，从理论到语言实现。从20世纪80年代中期开始，约束逻辑编程成为一个强大而重要的理论概念，其第一个实际应用是基于Prolog的高效编程语言的开发。Benhamou和Colmerauer已经注意到当前的研究和现有的CLP语言之间的紧密联系。本书的第一部分集中在提出约束编程的一般模型的重要理论研究上，接下来的两个部分发展了关于这些语言（数值约束，布尔和其他有限域）的主题的当前思想。关于CLP语言设计的结论部分收集了关于原始约束和顶层实现的工作。
Constraint logic programming, the notion of computing with partial information, is becoming recognized as a way of dramatically improving on the current generation of programming languages. This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation. Beginning in the mid-1980s constraint logic programming became a powerful and essential theoretical concept whose first practical application was the development of efficient programming languages based on Prolog. Benhamou and Colmerauer have taken care to illustrate the strong links between current research and existing CLP languages. The first part of the book focuses on significant theoretical studies that propose general models for constraint programming, and the two following parts develop current ideas on themes derived from these languages (numerical constraints, Booleans, and other finite domains). The concluding part on CLP language design gathers work on original constraints and on top-level implementation.