【摘要】 本文定义了能把目标语言和元语言混合于逻辑程序设计之中的元谓词demo,在此基础上计论了在知识库增长期间遇到的四个基本概念:可证明性、不相容性、冗余性和独立性.用PROLOG实现了一个用于知识库增长的知识库系统,完成对新知识的消化和吸收.更多还原

【Abstract】 In this paper the definition of the meta predicate "demo" is given which can amalgamate object languages and meta languages in logic programming. Based on the notion of amalgamating language four concepts used in expanding knowledge bases, called provabi-lity, contradiction, redundancy and independency, are discussed. The implementation of a knowledge base system dealing with new knowledge digestion and assimilation is also described.更多还原