二值化和部分演绎加速逻辑程序
Speedup of Logic Programs by Binarization and Partial Deduction
摘要：
二进制逻辑程序可以通过二进制化变换从普通逻辑程序获得。在大多数情况下，以这种方式获得的二进制程序的效率低于原始程序。（Demoen，1992）展示了一个有趣的逻辑程序的例子，当它被转换成二进制程序，然后通过部分演绎进行专门化时，它的计算行为得到了改善。定义了B-分层逻辑程序类。它表明，对于每一个B-分层逻辑程序，二进制化和随后的部分演绎产生一个二进制程序，不包含变量的连续二进制化介绍。这样的程序通常比原来的程序有更好的计算性能。二值化和部分演绎都可以很容易地自动化。与其他相关的方法程序转换的比较。
英文摘要：
Binary logic programs can be obtained from ordinary logic programs by a binarizing transformation. In most cases, binary programs obtained this way are less efficient than the original programs. (Demoen, 1992) showed an interesting example of a logic program whose computational behaviour was improved when it was transformed to a binary program and then specialized by partial deduction. The class of B-stratifiable logic programs is defined. It is shown that for every B-stratifiable logic program, binarization and subsequent partial deduction produce a binary program which does not contain variables for continuations introduced by binarization. Such programs usually have a better computational behaviour than the original ones. Both binarization and partial deduction can be easily automated. A comparison with other related approaches to program transformation is given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
