论文部分内容阅读
提出一个新的基于程序变换的Ｐｒｏｌｏｇ程序部分演绎的方法。该方法以程序－目标对（Ｐ０，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序－目标对（Ｐｎ，Ｑｎ），该方法保证结果程序－目标对（Ｐｎ，Ｑｎ）和输入程序－目标对（Ｐ０，Ｑ０）计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高。