逻辑程序部分演绎系统的研制

介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。

The Design and Implementation of a Partial Evaluator of Logic Programs

This paper presents an automatic partial deduction system for logic programs. Based on the theory of partial deduction, we first introduce the framework of the system. Then we describe the functions and algorithms for each of the modules, placing emphasis on the core module──the partial deduction module. Finally, we discuss the impact on the efficiency of the partially evaluated programs. This impact is determined by different computation rules and the goal specific renaming transformation.