通用问题求解系统的完备性

ＰＲＯＬＯＧ是基于Ｈｏｒｎ逻辑的通用搜索系统，是一种方便、高效的逻辑设计工具，但该系统却不具有完备性。从其理论基础和运行方式两方面，对ＰＲＯＬＯＧ系统进行剖析，分析系统完备性受到破坏的原因是：在该系统中采用了深度优先搜索策略和引入了ＣＵＴ控制机制。最后，提出了增强系统完备性的方法。