线性递归Da taL og 程序优化算法

提出了线性齐次ＤａｔａＬｏｇ逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ程序的优化算法，该算法利用带有的约束条件的递归调用方法，将线性ＤａｔａＬｏｇ程序求解问题变换成齐次程序的求解问题。算法简单，易于实现，可应用于任何线性ＤａｔａＬｏｇ程序的求解。

The Optimized Algorithm for Linear Recursive DataLog Program

First, a concept of linear homogeneous logic programs is presented. A specific optimizing algorithm is devised for solving the logic programs. Furthermore, a optimizing algorithm which solves a general linear DataLog logic program is drawn. With successive recursive calls and constraint conditions, the algorithm transforms the problem of solving linear DataLog logic programs into the problem of solving homogeneous programs. The algorithm is simple and easy to be implement.