提出一种基于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.
本文将决策表技术引入管理信息系统作为知识存贮手段，用户可通过决策表自行设置规则集，并用推理机进行演绎推理，从而实现对管理信息系统数据库的智能查询。
Intelligent query for database of MIS is implemented, for storing knowledge with decision table. The user can create rule-set by way of decision table and carry out reasoning.
对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。
In order to maintain the integrity of deductive databases, deductive knowledge assimilation and implementation in meta-predicate are introduced.
对系统的完整性约束问题提出了关于演绎知识的吸收概念以及用元谓词实现吸收的方法。
In order to maintain the integrity of deductive databases, deductive knowledge assimilation and implementation in meta-predicate are introduced.
应用推荐