文献检索-宁波市创意产业特色资源库

限定检索结果

第五代编程语言设计与实现: 收藏
分享
引用; 《信息记录材料》2022年第12期23卷 99-103,107页; 作者：韩济澎李陈志航北京华规科技有限公司技术部北京100081; 为解决目前第五代编程语言存在语义不直观、所处理问题表述严苛、推理能力有限等问题,本文提出了一种第五代编程语言——COOL(Constraint and Object Oriented Language),COOL语言主要借鉴PCHR的设计思想,即通过概率控制约束求解过程。...; 为解决目前第五代编程语言存在语义不直观、所处理问题表述严苛、推理能力有限等问题,本文提出了一种第五代编程语言——COOL(Constraint and Object Oriented Language),COOL语言主要借鉴PCHR的设计思想,即通过概率控制约束求解过程。同时通过允许将表达式作为函数声明以及函数返回,克服了LISP的数学语义不清晰问题;通过实现对表达式的约束求解和逆推,克服了PROLOG推理能力不足的问题;提出预执行步骤将推理过程与执行过程分离,加快了执行速度,并通过支持面向对象,优化了大量约束的管理问题。; 来源：详细信息评论

限定检索结果