【摘要】 本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。更多还原

【Abstract】 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.更多还原