NCL語言

《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語言