NCL语言在2000年发表于国际权威学术杂志JLP(Journal of Logic Programming)发表。 NCL语言是集逻辑、优化及搜索规则为一体的支持业务逻辑建模和复杂问题求解的智能描述型语言。 NCL语言高度整合人工智能(Artificial Intelligence),运筹学(Operations Research)及逻辑规划(Logic Programming)。
NCL语言的先进性体现在以下几个方面:
1、采用人工智能的模式识别技术 - 支持自然建模 - 支持可视化模型调测及诊断 2、混合集合规划算法 - 不是“混合整数规划” - 求解实数、整数、布尔值、时间、索引及集合类型上的混合约束 - 支持一阶逻辑、集合推理、数值分析等 3、采用逻辑规划技术 - 保证了描述的完备性及严谨性 - 可以挖掘尽可能多的潜在约束和逻辑关系 4、求解规则编程 - 支持启发式求解策略的设计 - 支持商业规则 5、内嵌SQL语言 - 直接对数据库进行读取、插入、修改、删除等操作 - 方便对大规模数据的管理,使系统集成变得简单方便 |