高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
约束逻辑程序部分演绎过程的研究
作者：
收录：
摘要：
约束逻辑程序(CLP)的部分演绎是一个新兴的研究领域.本文提出一个新的基于程序变换的CLP部分演绎的过程.该过程以程序-目标对(P0,Q0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(Pn,Qn).该过程保证结果程序-目标对(Pn,Qn)和输入程序-目标对(P0,Q0)计算等价,并且程序Pn解目标Qn比程序P0解目标Q0效率更高.本文提出的方法已经实现,文中给出了一个CLP(BOOL)程序部分演绎的运行实例.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1996，计算机研究与发展
2002，北京工业大学学报
2006，计算机应用研究
1994，北京工业大学学报
来源 ：
计算机学报
ISSN： 0254-4164
年份： 1997
期： 3
卷： 20
页码： 238-244
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 1
中文被引频次：
近30日浏览量： 3
归属院系：
全文获取
外部链接：
