ISSN 1009-5624 CN 10-2021/TQ 主管:中国乐凯集团有限公司 主办:北京乐凯科技有限公司
中国知网全文收录期刊
万方数据库收录期刊
RCCSE中文学术期刊
维普资讯网/超星域出版 全文收录
中国核心期刊(遴选)数据库收录期刊
万方数据库收录期刊
RCCSE中文学术期刊
维普资讯网/超星域出版 全文收录
中国核心期刊(遴选)数据库收录期刊
ISSN 1009-5624 CN 10-2021/TQ 主管:中国乐凯集团有限公司 主办:北京乐凯科技有限公司
【摘要】为解决目前第五代编程语言存在语义不直观、所处理问题表述严苛、推理能力有限等问题，本文提出了一种第五代编程语言——COOL（Constraint and Object Oriented Language），COOL 语言主要借鉴 PCHR 的设计思想，即通过概率控制约束求解过程。同时通过允许将表达式作为函数声明以及函数返回，克服了 LISP 的数学语义不清晰问题；通过实现对表达式的约束求解和逆推，克服了 PROLOG推理能力不足的问题；提出预执行步骤将推理过程与执行过程分离，加快了执行速度，并通过支持面向对象，优化了大量约束的管理问题。
