三者都主要使用foreward-chaining的Rete引擎,按优先级匹配条件语句,实施规则语句。
规则实施后会激发事实的变化,引擎又会重新进行条件匹配,直到不能再匹配为止,Rete的算法保证了服从的最高。
其中Java代码会操纵Antlr进行解释,而Groovy和Python自己即是脚本语言,可以直接调用。
Drools的聪明之处在于,用XML节点来典型If--Then句式和事实定义,使引擎干起活来很舒服。
而操纵Java,Groovy等原生语言来做判断和执行语句,让程序员很轻易过渡、移植,学习曲线很低。
hello.equals("Hello")
</java:condition>
<java:consequence>
helloWorld( hello );
</java:consequence>
{
?customer: Customer(totalTime >=1000);
}
Then
{
execute {?customer.setAmount(getAmount()-20.00);
}
文档称IRL的语法是Java Syntax-like的,但我怎么也看不出两者是类似的。不过他因为是商业产品,有很强大的编辑器和管理工具,编写规则的速度应该有一定效率。
jess用 => 表达 If-Then句式。 这CLIPS是真正的程序员专用语言,而且还若是很专业的程序员才习惯的工具。但这种原本即是用来做专家系统的AI语言,对规则的表达本事也应该是最强的。
教学一下下面这段代码,airplane有一个属性--name,有两个子类--喷气式和螺旋桨飞机,其中螺旋桨飞机可以适用任意跑道,而喷气式飞机不能使用Grass跑道。
(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))
Drools的最新版Drools2.0Rc2里,House和Conways game of Live两个例子有DSL的版本
对比一下Java版本,功效如下:
<house:room name="calvin">
<house:温度>
<house:greater-than scale="摄氏">20</house:greater-than>
</house:温度>
</house:room>
</house:condition>
vs
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就没什么人用而已。
没有现实用过,只能看文档过过瘾。从文档来看,配合Ilog的编纂器,简直即是很完美的规则语言了。
the call destination number is the preferred number
Then
apply the preferred number rate
用户名 = "admin"
那么
显示 = "你好," + 用户名