In order to maintain the integrity of deductive databases, deductive knowledge assimilation and implementation in meta-predicate are introduced.
对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。
Advanced database should be capable of managing data, object and knowledge, and deductive object database can just meet all these requirements.
现代数据库应能管理数据、对象和知识，而演绎对象数据库恰恰满足这些要求。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
应用推荐