论文部分内容阅读
Prolog仅能直接表达Horn子句。但在实际的问题求解过程中经常遇到多结论子句。而且在知识获取的过程中，在一定的时间、环境下，我们只知道一组事件的折取成立，而无法知道究竟是哪些个体事件成立；以及非确定演绎数据库的实现和查询问题等等。因此，研究Prolog向non—Horn子句的扩展是有实际意义的。该文提出了一个简便有效的扩展方法，其中“或”事实的提出是这一方法的关键。（本刊录）