《The NCL Natural Constraint Language》介紹基於常規數理邏輯、求解約束滿足問題的描述型語言NCL。NCL語言與其它聲明型語言不同：它基於一階邏輯（量詞、布爾邏輯、數值約束、集合運算和邏輯函式）自然地對問題建模；它在實數、整數、布爾、日期/時間、指針及集合的混合域上以混合集合規劃（mixed set programming）算法對問題求解。本書使用大量例子詳細講解NCL語言及其套用。它適用於邏輯規劃、約束規劃、最佳化、建模、運籌學及人工智慧等領域的研發人員。本書將使讀者學到一門新的程式語言及其工業套用的理論基礎。周建陽博士是NCL語言的發明人，已致力於該項科技的產業化十年有餘。 NCL英文專著已由Springer出版，書號：978-3-642-23844-4。
基本介紹
- 中文名：NCL語言
- 出處：《自然約束語言》
- 作者：周建陽
- 時間：2009年
周建陽：《自然約束語言》，科學出版社，236頁，2009年。
實際套用：
在實際中，NCL 能套用於數據處理,還可廣泛套用於運輸、
物流、生產製造、通訊及金融等諸多領域的邏輯及最佳化問題。
與國際市場產品相比，NCL的科技創新包括
混合集合規劃系統構成NCL的算法核心；實數、整數、布爾值、索引及集合類型上的約束，一階邏輯、集合推理，實數域數值分析等；
支持啟發式求解規則(Heuristic Rules）的編程。
語言特徵：
智慧型描繪型語言(採用簡化的常規符號集)
動態量化支持模糊推理能力
強大的集合推理能力
集成了當前最尖端的運籌學算法
直覺清晰的搜尋策略
靈活的初級或部分信息的查詢功能
內嵌SQL語言
