线性递归DataLog程序优化算法
来源期刊：控制与决策2000年第1期
论文作者：王家华 曹路 金祥意 姚天顺
文章页码：59 - 62
关键词：DataLog逻辑程序;EDB谓词;IDB谓词;魔集算法;线性齐次逻辑程序;
摘 要：提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ 程序的求解
王家华，曹路，金祥意，姚天顺
摘 要：提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ 程序的求解
关键词：DataLog逻辑程序;EDB谓词;IDB谓词;魔集算法;线性齐次逻辑程序;
