CLP（R）程序部分演绎的研究

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.