线性递归DataLog程序优化算法  

The Optimized Algorithm for Linear Recursive DataLog Program

作　　者：王家华[1] 曹路[1] 金祥意[1] 姚天顺[1] 

机构地区：[1]东北大学信息科学与工程学院,沈阳110005

出　　处：《控制与决策》2000年第1期59-62,共4页Control and Decision

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

关 键 词：逻辑程序 DATALOG程序 程序设计 优化算法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]