Abstract: Facts are important components in logic programs. Facts Maintenance impacts coherence and integrity of logic programs and can accelerate Rules Maintenance. After discussing the disadvantages of maintaining logic programs manually in this paper, we classify the Facts Maintenance and propose a framework of Facts Maintenance. In this paper the Forecast Subsystem is narrated mainly.

摘要： 事实是逻辑程序的重要组成部分，事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。本文在分析了人工进行维护操作的弊端后，对事实维护中可能出现的情况进行分类分析，提出了事实维护系统的框架，重点描述了预警检测子系统所扮演的核心作用。