Ilog、Drools、Jess规则引擎的Rule Language 比对

今天对比了一下这三个颇有代表性的规则引擎的规则语言。其中Ilog是商业产品，没有机会实战。

1.一样的If--Then 句式与Rete引擎

    三者都会把原来混乱不堪的if---else---elseif----else谜团，
    拆成N条带优先级的"If  条件语句  then  执行语句" 的句式。
   
    三者都主要使用foreward-chaining的Rete引擎，按优先级匹配条件语句，执行规则语句。
    规则执行后会引发事实的变化，引擎又会重新进行条件匹配，直到不能再匹配为止，Rete的算法保证了效率的最高。

2.开发人员使用的规则语言

2.1 Drools的XML框架+Java/Groovy/Python嵌入语言

     Drools的用XML的<Conditons>、<Consequence> 节点表达If--Then句式，而里面可以嵌入上述语言的代码作为判断语句和执行语句。
     其中Java代码会使用Antlr进行解释，而Groovy和Python本身就是脚本语言，可以直接调用。
     Drools的聪明之处在于，用XML节点来规范If--Then句式和事实的定义，使引擎干起活来很舒服。
     而使用Java,Groovy等原生语言来做判断和执行语句，让程序员很容易过渡、移植，学习曲线很低。

  <java:condition>
      hello.equals("Hello")
  </java:condition>

  <java:consequence>
      helloWorld( hello );
  </java:consequence>
    

  2.2 ILog的IRL(ILog Rule Language)

        IRL用When{}Then{}表达 If--Then句式

        When
        {
           ?customer: Customer(totalTime >=1000);
        }
        Then
        {
           execute {?customer.setAmount(getAmount()-20.00);
        }

    文档称IRL的语法是Java Syntax-like的，但瞎子也能看出两者有不同，不过他因为是商业产品，有很强大的编辑器和管理工具，编写规则的速度应该不坏。

  2.3 Jess的CLIPS
   jess用  =>  表达 If-Then句式。 这CLIPS是真正的程序员专用语言，而且还要是很专业的程序员才习惯的东西。但这种本来就是用来做专家系统的AI语言，对规则的表达能力也应该是最强的。
   讲解一下下面这段代码，airplane有一个属性--name，有两个子类--喷气式和螺旋桨飞机，其中螺旋桨飞机可以使用任意跑道，而喷气式飞机不能使用Grass跑道。

; Fact templates
(deftemplate airplane (slot name))
(deftemplate jet extends airplane)
(deftemplate prop extends airplane)

; Rules
(defrule can-use-grass-runway
  (prop (name ?n))
  =>
  (printout t "Aircraft can use grass - " ?n crlf))

(defrule can-use-asphalt-runway
  (airplane (name ?n))
  =>
  (printout t "Aircraft can use asphalt - " ?n crlf))

3.客户使用的规则语言

   如果客户可以自己任意编写规则，无疑是产品一个很大的卖点。大部分客户都会喜欢这样一个玩具。而且也只有把规则编写交给客户，才能达到规则引擎的全部意义。

3.1 Drools的 DSL
     Drools的最新版Drools2.0Rc2里，House和Conways game of Live两个例子有DSL的版本
     对比一下Java版本，效果如下：

<house:condition>
  <house:room name="calvin">
    <house:温度>
      <house:greater-than scale="摄氏">20</house:greater-than>
    </house:温度>
  </house:room>
</house:condition>

vs

<java:condition>
    room.getName( ).equals( "calvin" )
<java:condition>
<java:condition>
   convertToCelsius( room.getTemperature() ) > 20
<java:condition>

     但这种XML Base的DSL语法其实好不了多少，而且实现的代价一点不少，要自己实现Conditons和Consequence Factory类，自行解释那段XML，基本上没有什么便利的底层支持。
    其实，一不做二不休，干脆用Antlr来定义真正的DSL，同样是实现Conditons和Consequence Factory类可能更好。只不过解释XML人人都会，Antlr就比较少人用而已。

3.2 ILog的BAL(Business Action Language)--最完美的王者？
   没有实际用过，只能看文档过过瘾。从文档来看，配合Ilog的编辑器，的确就是最完美的规则语言了。

If
    the call destination number is the preferred number
Then
     apply the preferred number rate