2012年2月：Springer出版NCL英文版专著。

《The NCL Natural Constraint Language》介绍基于常规数理逻辑、求解约束满足问题的描述型语言NCL。NCL语言与其它声明型语言不同：它基于一阶逻辑（量词、布尔逻辑、数值约束、集合运算和逻辑函数）自然地对问题建模；它在实数、整数、布尔、日期/时间、指针及集合的混合域上以混合集合规划（mixed set programming）算法对问题求解。

本书使用大量例子详细讲解NCL语言及其应用。它适用于逻辑规划、约束规划、优化、建模、运筹学及人工智能等领域的研发人员。本书将使读者学到一门新的编程语言及其工业应用的理论基础。

详情请见: http://www.springer.com/computer/swe/book/978-3-642-23844-4