Ilog JRules 是最有名的商用BRMS,刚拿了JOLT;
Drools 是最活跃的开源规则引擎,一路高歌猛进;
Jess 是Clips的java实现,就如JRuby之于Ruby,是AI系的代表。

今天对比了一下这三个颇有代表性的规则引擎的规则语言。其中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