通过二元化与部分演绎加速逻辑程序
编程语言
2007-05-23 v1 人工智能
摘要
普通逻辑程序可以通过二元化变换转化为二元逻辑程序。在大多数情况下，以这种方式获得的二元程序比原始程序效率更低。（Demoen, 1992）展示了一个有趣的逻辑程序示例，当其被转化为二元程序并随后通过部分演绎进行特化时，其计算行为得到了改善。本文定义了 B-可分层逻辑程序类。结果表明，对于每个 B-可分层逻辑程序，二元化及随后的部分演绎会产生一个不包含由二元化引入的续延变量的二元程序。此类程序通常比原始程序具有更好的计算行为。二元化和部分演绎均可以轻松实现自动化。本文还与其他相关的程序变换方法进行了比较。
引用
@article{arxiv.cs/0312026,
title = {Speedup of Logic Programs by Binarization and Partial Deduction},
author = {Jan Hruza and Petr Stepanek},
journal= {arXiv preprint arXiv:cs/0312026},
year = {2007}
}
备注
15 pages; to appear in Theory and Practice of Logic Programming