产生式规则表示法之正向规则和逆向规则

正向规则的一般形式是：

   如果 <前提> 则 <结论>（if premise then conclusion） 或  

   如果 <情况> 则<行为>（if case then action）

   前提可由一个或多个条件组成，可使用逻辑运算符and及or连接起来。结论中仅包含一个条件。一条规则表示，结论要在逻辑上或行为方式上符合于前提条件。在调用一条规则时，系统首先检查一下前部分的值是否为真。若前提为假，系统就停止处理该规则；若前提为真，则结论的值也为真，或执行结论中有关行为 。

例如：如果 体温超过37.5度则提示发烧。  

   逆向规则的一般形式是： 

   <结论>  如果 （if） <前提> 

   在这种格式中，前提和结论的顺序被逆转。人们称它为逆向规则（backward rule）。在Prolog语言中，if用“︰—”代替。

   例如： 提示发烧，如果 体温超过37.5度。这两种格式都是常用的表示形式。