摘要： 事实是逻辑程序的重要组成部分，事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。本文在分析了人工进行维护操作的弊端后，对事实维护中可能出现的情况进行分类分析，提出了事实维护系统的框架，重点描述了预警检测子系统所扮演的核心作用。
谭成予、董红斌、梁意文、钱立进
.
逻辑程序的事实维护
[J]. 计算机工程与应用, 2006, 42(9): 16-.
,,,. Facts Maintenance in Logic Programs[J]. Computer Engineering and Applications, 2006, 42(9): 16-.
