提出一种基于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.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
应用推荐