摘要
提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ
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.
出处
《控制与决策》
EI
CSCD
北大核心
2000年第1期59-62,共4页
Control and Decision
关键词
逻辑程序
DATALOG程序
程序设计
优化算法
DataLog logic program, EDB predicate, IDB predicate, magic-rewriting algorithm, linear homogeneous logic program
