《The NCL Natural Constraint Language》介绍基于常规数理逻辑、求解约束满足问题的描述型语言NCL。NCL语言与其它声明型语言不同：它基于一阶逻辑（量词、布尔逻辑、数值约束、集合运算和逻辑函数）自然地对问题建模；它在实数、整数、布尔、日期/时间、指针及集合的混合域上以混合集合规划（mixed set programming）算法对问题求解。本书使用大量例子详细讲解NCL语言及其应用。它适用于逻辑规划、约束规划、优化、建模、运筹学及人工智能等领域的研发人员。本书将使读者学到一门新的编程语言及其工业应用的理论基础。周建阳博士是NCL语言的发明人，已致力于该项科技的产业化十年有余。 NCL英文专著已由Springer出版，书号：978-3-642-23844-4。

周建阳：《自然约束语言》，科学出版社，236页，2009年。

实际应用：

在实际中，NCL 能应用于数据处理,还可广泛应用于运输、

物流、生产制造、通讯及金融等诸多领域的逻辑及优化问题。

与国际市场产品相比，NCL的科技创新包括

AI的模式识别技术广泛应用于NCL的自然语法分析及语义识别上；

混合集合规划系统构成NCL的算法内核；实数、整数、布尔值、索引及集合类型上的约束，一阶逻辑、集合推理，实数域数值分析等；

支持启发式求解规则(Heuristic Rules）的编程。

语言特征：

智能描绘型语言(采用简化的常规符号集)

动态量化支持模糊推理能力

强大的集合推理能力

集成了当前最尖端的运筹学算法

直觉清晰的搜索策略

灵活的初级或部分信息的查询功能

内嵌SQL语言