归结与演绎

1、应用归结之前，wff（合式公式）必须是一个范式或标准形式。范式有三种主要类型： 1）合取范式。如： (P1∨P2....)∧(Q1∨Q2...)∧(Z1∨Z2...) 2）子句。 全子句形式的表达式通常如下：(表示A1,A2,...An全真是，B1，。。。Bn中至少有一个为真) A1,A2,...An->B1,B2,.....Bn 3）HORN子句子集。 PROLOG使用HORN子句，只允许一

>>阅读原文<<