Partial evaluation of logic programs

Abstract

Partial evaluation refers to program transformation techniques based on local and incremental application of actual evaluation. We have developed a framework for partial evaluation of logic programs. By applying developed techniques to all predicate calls appearing in programs, better runtime performance can be achieved. Our framework selects proper partial evaluation techniques based on argument instantiations of calls. Major improvement over a currently know framework is that there would be no longer explosive growth of partially evaluated programs. In addition, our framework extends the range of applicability of partial evaluation to the level of comparisons of function symbols during unifications.