营智公司致力于数据处理、人工智能、运筹学、逻辑编程及计算机语言等领域的科技研发。自然约束语言NCL即此诸多技术之结晶。设计NCL语言的目的是为用户提供一个易于操作、求解约束满足问题的语言工具。

NCL语言简介

 NCL语言（Natural Constraint Language）是一门图灵完备、求解约束满足问题的数学编程语言。与其它声明型语言不同，NCL支持自然建模，其数学识别器可理解基于量词、布尔逻辑、数值约束、集合运算及逻辑函数的常规数学逻辑；NCL的解算器支持简化的一阶逻辑及集合编程，以混合集合规划（Mixed Set Programming）算法求解混合域（实数、整数、布尔值、日期/时间、字符串、指针及集合等）的问题。

       NCL 语言原型最早出现在1997年12月召开的第三届国际系统科学和系统工程会议上，并于1998年5月提交逻辑规划协会的正式期刊"The Journal of Logic Programming”。

      在实际中，NCL 能应用于数据处理,还可广泛应用于物流、民航、电子、能源、电力、高铁、航天等诸多领域的逻辑及优化问题。

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

数学识别器：基于AI的模式识别技术广泛应用于NCL的语法分析及语义识别；支持数学编程； 

混合集合规划系统：囊括数值、布尔值、量词、集合、逻辑函数运算，世界上最为精密的数学算法系统之一。

学术专著

J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4  (2012).
周建阳:《自然约束语言》，科学出版社, ISBN 978-7-03-024973-9 (2009).

部分论文
J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45 (1-3): 71-103(2000).
J. Zhou: A Note on Mixed Set Programming. Proc. of The 7th International Symposium on Operations Research and Its  Applications, 131-140 (2008).
J. Zhou: Routing By Mixed Set Programming. Proc. of The 8th International Symposium on Operations Research and Its Applications, 157-166 (2009).
J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of ICSSSE: 205-210 (1998).