THE PARTIAL DEDUCTION OF CLP（R） PROGRAMS

This paper summarizes the basic rules and presents two specific rules for thepartial deduction of CLP（R） programs, which preserve breadth-first equivalence.It also, for the first time, suggests a new research field-applying the abstract interpretation techniques to the partial deduction of CLP（R） programs. Although the result ofthis paper is tentative, it is the first attempt for the partial deduction of CLP（R） programs.