本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象......

本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演......

约束逻辑程序的部分演绎是一个新兴的研究领域。本文提出了一个新的基于程序变换的ＣＬＰ部分演绎的过程。该过程以程序－目标为输入，经过一......

提出一个新的基于程序变换的Ｐｒｏｌｏｇ程序部分演绎的方法。该方法以程序－目标对（Ｐ０，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序－目标对（Ｐｎ，Ｑｎ），该方法保......