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

Ilog JRules

今天对比了一下这三个颇有代表性的规则引擎的规则语言。其中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><conditon></conditon> <consequence></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     但这种XML Base的DSL语法其实好不了多少，而且实现的代价一点不少，要自己实现Conditons和Consequence Factory类，自行解释那段XML，基本上没有什么便利的底层支持。
    其实，一不做二不休，干脆用Antlr来定义真正的DSL，同样是实现Conditons和Consequence Factory类可能更好。只不过解释XML人人都会，Antlr就比较少人用而已。

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

 

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

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

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