營智公司致力于數據處理、人工智能、運籌學、邏輯編程及計算機語言等領域的科技研發。自然約束語言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).  

教科書

李向文（大連海事大學）：《物流系統優化建模與求解》，北京大學出版社，ISBN 978-7-301-22115-0(2013).

左秀峰（北京理工大學）: 《NCL語言與POEM優化計算平臺簡明教程》，清華大學出版社，ISBN 978-7-302-33671-6 (2013).