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.