public class Applicant {

    private String name;

    private int age;

    private boolean valid;

    // getter and setter methods here

}

package com.company.license

rule "Is of valid age"

when

    $a : Applicant( age < 18 )

then

    $a.setValid( false );

end

<?xml version="1.0" encoding="UTF-8"?>

<kmodule xmlns="http://www.drools.org/xsd/kmodule"/>

KieServices kieServices = KieServices.Factory.get();

KieContainer kContainer = kieServices.getKieClasspathContainer();

StatelessKieSession kSession = kContainer.newStatelessKieSession();

Applicant applicant = new Applicant( "Mr John Smith", 16 );

assertTrue( applicant.isValid() );

ksession.execute( applicant );

assertFalse( applicant.isValid() );

public class Applicant {

    private String name;

    private int age;

    // getter and setter methods here

}

public class Application {

    private Date dateApplied;

    private boolean valid;

    // getter and setter methods here

}

package com.company.license

rule "Is of valid age"

when

    Applicant( age < 18 )

    $a : Application()

then

    $a.setValid( false );

end

rule "Application was made this year"

when

    $a : Application( dateApplied > "01-jan-2009" )

then

    $a.setValid( false );

end

StatelessKieSession kSession = kContainer.newStatelessKieSession();

Applicant applicant = new Applicant( "Mr John Smith", 16 );

Application application = new Application();

assertTrue( application.isValid() );

ksession.execute( Arrays.asList( new Object[] { application, applicant } ) );

assertFalse( application.isValid() );

``ksession.execute( kieServices.getCommands().newInsertElements( Arrays.asList( new Object[] { application, applicant } ) );``

KieCommands kieCommands = kieServices.getCommands();

List<Command> cmds = new ArrayList<Command>();

cmds.add( kieCommands.newInsert( new Person( "Mr John Smith" ), "mrSmith", true, null ) );

cmds.add( kieCommands.newInsert( new Person( "Mr John Doe" ), "mrDoe", true, null ) );

BatchExecutionResults results = ksession.execute( kieCommands.newBatchExecution( cmds ) );

assertEquals( new Person( "Mr John Smith" ), results.getValue( "mrSmith" ) );

public class Room {

    private String name

    // getter and setter methods here

}

public class Sprinkler {

    private Room room;

    private boolean on;

    // getter and setter methods here

}

public class Fire {

    private Room room;

    // getter and setter methods here

}

public class Alarm {

}

rule "When there is a fire turn on the sprinkler"

when

    Fire($room : room)

    $sprinkler : Sprinkler( room == $room, on == false )

then

    modify( $sprinkler ) { setOn( true ) };

    System.out.println( "Turn on the sprinkler for room " + $room.getName() );

end

rule "When the fire is gone turn off the sprinkler"

when

    $room : Room( )

    $sprinkler : Sprinkler( room == $room, on == true )

    not Fire( room == $room )

then

    modify( $sprinkler ) { setOn( false ) };

    System.out.println( "Turn off the sprinkler for room " + $room.getName() );

end

rule "Raise the alarm when we have one or more fires"

when

    exists Fire()

then

    insert( new Alarm() );

    System.out.println( "Raise the alarm" );

end

rule "Cancel the alarm when all the fires have gone"

when

    not Fire()

    $alarm : Alarm()

then

    delete( $alarm );

    System.out.println( "Cancel the alarm" );

end

rule "Status output when things are ok"

when

    not Alarm()

    not Sprinkler( on == true )

then

    System.out.println( "Everything is ok" );

end

KieServices kieServices = KieServices.Factory.get();

KieContainer kContainer = kieServices.getKieClasspathContainer();

KieSession ksession = kContainer.newKieSession();

String[] names = new String[]{"kitchen", "bedroom", "office", "livingroom"};

Map<String,Room> name2room = new HashMap<String,Room>();

for( String name: names ){

    Room room = new Room( name );

    name2room.put( name, room );

    ksession.insert( room );

    Sprinkler sprinkler = new Sprinkler( room );

    ksession.insert( sprinkler );

}

ksession.fireAllRules();

``> Everything is ok``

Fire kitchenFire = new Fire( name2room.get( "kitchen" ) );

Fire officeFire = new Fire( name2room.get( "office" ) );

FactHandle kitchenFireHandle = ksession.insert( kitchenFire );

FactHandle officeFireHandle = ksession.insert( officeFire );

ksession.fireAllRules();

> Raise the alarm

> Turn on the sprinkler for room kitchen

> Turn on the sprinkler for room office

ksession.delete( kitchenFireHandle );

ksession.delete( officeFireHandle );

ksession.fireAllRules();

> Cancel the alarm

> Turn off the sprinkler for room office

> Turn off the sprinkler for room kitchen

> Everything is ok

public void helloWorld(Person person) {

    if ( person.getName().equals( "Chuck" ) ) {

        System.out.println( "Hello Chuck" );

    }

}

rule "Hello World" when

    Person( name == "Chuck" )

then

    System.out.println( "Hello Chuck" );

end

rule "Show Sprinklers" when

    $room : Room()

    $sprinkler : Sprinkler()

then

    System.out.println( "room:" + $room.getName() +

                        " sprinkler:" + $sprinkler.getRoom().getName() );

end

room:office sprinkler:office

room:office sprinkler:kitchen

room:office sprinkler:livingroom

room:office sprinkler:bedroom

room:kitchen sprinkler:office

room:kitchen sprinkler:kitchen

room:kitchen sprinkler:livingroom

room:kitchen sprinkler:bedroom

room:livingroom sprinkler:office

room:livingroom sprinkler:kitchen

room:livingroom sprinkler:livingroom

room:livingroom sprinkler:bedroom

room:bedroom sprinkler:office

room:bedroom sprinkler:kitchen

room:bedroom sprinkler:livingroom

room:bedroom sprinkler:bedroom

rule

when

    $room : Room()

    $sprinkler : Sprinkler( room == $room )

then

    System.out.println( "room:" + $room.getName() +

                        " sprinkler:" + $sprinkler.getRoom().getName() );

end

room:office sprinkler:office

room:kitchen sprinkler:kitchen

room:livingroom sprinkler:livingroom

room:bedroom sprinkler:bedroom

到目前为止，数据和匹配过程是简单而小巧的。 为了将事情混合起来，我们将探索一个新的例子来处理日期期间的现金流量计算。 发动机的状态将在关键阶段示例性地示出，以帮助更好地理解发动机罩下的实际情况。 将使用三个类，如下所示。 这将有助于我们增加对模式匹配的理解并进一步加入。 然后我们将用这个来说明执行控制的不同技术。

现在，您已经知道如何创建KieBases以及如何实例化事实来填充KieSession，所以将使用表来显示插入的数据的状态，因为它使事情变得更加清楚。 下表显示为“Account”插入单个事实。 还插入了一系列借方和贷方作为该账户的“CashFlow”对象，延伸了两个季度。

两个规则可以用来确定该季度的借方和贷方，并更新账户余额。 以下两条规则限制了给定时间段内某个账户的现金流量。 请注意使用简短语法的“&&”，以避免两次重复字段名称。

如果AccountPeriod设置为第一季度，我们将限制增加贷方余额的规则在两行数据上触发，减少借方余额以对一行数据进行操作。

上面的两个现金流量表代表两个规则的匹配数据。 数据在插入阶段被匹配，正如你在上一章中发现的那样，它不会直接触发，而只是在fireAllRules()被调用之后。 同时，规则及其匹配的数据被放置在议程上，并被称为“行为匹配”或“规则实例”。 议程是一个规则匹配表，只要fireAllRules()被调用，它就能够触发并执行其后果。 议程上的规则匹配被称为冲突集，其执行是由冲突解决策略决定的。 请注意，到目前为止的执行顺序被认为是任意的。

所有上述激活的规则被执行后，账户的余额为-25。

如果账户期限更新到第二季度，我们只有一行匹配的数据，因此在议程上只有一个规则匹配。

规则执行的结果导致了25的余额。

如果你不希望规则执行的顺序是任意的呢？ 如果议程上有一个或多个规则匹配，则说明它们之间存在冲突，并使用冲突解决策略来确定执行顺序。 Drools战略非常简单，基于一个显着的价值，它为一个规则赋予了优先权。 每个规则的默认值为0，值越高，优先级越高。

作为一般规则，不要指望以任何特定顺序开火的规则，并且制定规则而不必担心“flow”。 然而，当需要流程时，除了显着性之外还有许多可能性：议程组，规则流程组，激活组和控制/信号量事实。

Drools 6.0 规则根据源文件中的salience之后的数字来确定优先级。

为了说明salience，我们添加一个规则来打印帐户余额，我们希望在对所有帐户应用所有借记和贷项之后执行此规则。 我们通过给这个规则分配一个负的salience来达到这个目的，以便在默认salience 0的所有规则之后触发。

下表描述了由此产生的议程。 这三个借记和贷记规则显示为任意顺序，而打印规则排在最后，以后执行。

议程组允许您将规则放入组中，并将这些组放入堆栈。 该堆栈有push/pop 的能力。 调用“setFocus”将组放入堆栈：

议程总是评估堆栈的顶部。 当所有的规则已经为一个组激发，它从堆栈弹出，并评估下一个组。

首先把重点放在“report”组，然后把重点放在“calculation”上，我们确保首先评估组。

Drools还具有ruleflow-group属性，允许工作流程图声明性地指定何时允许激发规则。 下面的截图是从Eclipse使用Drools插件。 它有两个规则流组节点，确保计算规则在报告规则之前执行。

在规则中使用ruleflow-group属性如下所示。

rule "Infer Adult"

when

  $p : Person( age >= 18 )

then

  insert( new IsAdult( $p ) )

end

$p : Person()

IsAdult( person == $p )

前面的例子是发行身份证超过18岁，在这个例子中，我们现在发行巴士通行证，无论是儿童或成人通行证。

像以前一样，上面的例子被认为是单一的，漏洞和提供差的关注分离。

像以前一样，我们可以提供一个更强大的应用程序，使用推理来区分问题。注意这次我们不只是插入推断的对象，我们使用“insertLogical”：

“insertLogical”是Drools真相维护系统（TMS）的一部分。当一个事实被逻辑插入时，这个事实取决于“when”从句的真实性。这意味着，当规则成为错误时，事实会自动收回。由于这两个规则是相互排斥的，所以这个效果特别好。所以在上面的规则中，如果这个人在16岁以下，它会插入一个IsChild的事实，一旦这个人是16岁或以上，IsChild的事实就会自动收回，并且插入了IsAdult的事实。

回到代码发出巴士通行证，这两个规则可以在逻辑上插入ChildBusPass和AdultBusPass事实，因为TMS +支持链接一系列级联的逻辑插入。

现在当一个人从15岁变成16岁时，不仅IsChild事实自动缩回，他的ChildBusPass事实也是如此。对于奖励积分，我们可以将这个与'not'条件元素结合起来处理通知，在这种情况下，请求返回通行证。所以当TMS自动收回ChildBusPass对象时，这个规则触发并发送一个请求给这个人：

注意到真理维护（和逻辑断言）完全可以工作，这是很重要的，你的Fact对象（可能是JavaBeans）必须正确地覆盖equals和hashCode方法（来自java.lang.Object）。由于事实维护系统需要知道两个不同物理对象的值是否相等，因此按照Java标准，必须正确覆盖both等于和hashCode。

两个对象是相等的，当且仅当它们的equals方法相互返回true，并且它们的hashCode方法返回相同的值。有关更多详细信息，请参阅Java API（但请记住，MUST必须覆盖equals和hashCode）。

TMS行为不受标识vs等价的时间配置的影响，TMS始终是等价的。

默认情况下，当从工作记忆中删除一个事实时，Drools尝试从既定事实集合中删除它，并且在逻辑断言的情况下也从真值维护系统TMS中删除它。但是，使用delete方法的重载，也可以只从2.中删除它。例如，调用：

这个事实只有在逻辑断言的情况下才会被删除，但是如果它是一个陈述的事实则不会被删除。在这种情况下，如果事实已经说明了它的删除失败了，并且被忽略了。

//row 18

rule "Cheese_fans_18"

when

    Person(age=="42")

    Cheese(type=="stilton")

then

    list.add("Old man stilton");

end

有两种类型的矩形区域定义用于生成DRL文件的数据。 一个由标记为“RuleSet”的单元标记，定义除规则以外的所有DRL项目。 另一个可能会重复发生，并且位于以“RuleTable”开头的单元格的右下方。 这些领域代表了实际的决策表，每个领域产生了一套类似结构的规则。

一个规则集区域可以包含单元对，一个在RuleSet下面，包含一个关键字，指定在同一行中的另一个关键字中包含的值。

规则表区域的列定义了从中派生的规则左侧的模式和约束，规则后果的动作以及单个规则属性的值。因此，规则表区域应该包含一个或多个列，条件和操作，以及规则属性的列的任意选择，每个列最多一列。前面四行跟着标记有“RuleTable”单元格的行被标记为标题区域，主要用于定义构建规则的代码。它是这四个标题行下面的任何额外的行，产生另一个规则，其数据提供规则表标题中定义的代码的变化。

所有关键字不区分大小写。

只有第一张工作表被检查决策表。

规则集区域中的条目可以定义DRL构造（规则除外），并指定规则属性。 尽管可以重复使用结构的条目，但是每个规则属性最多只能给出一次，并且它适用于所有规则，除非它被“规则表”区域内定义的相同属性取代。

条目必须以垂直堆叠的单元对序列给出。 第一个包含关键字和右边的值，如下表所示。 只要由“RuleSet”标记的列被维护为包含关键字的那一列，这个单元格对的序列就可以被空行或甚至规则表中断。

所有规则表都以一个包含“RuleTable”的单元格开始，可选地在同一个单元格中跟随一个字符串。该字符串用作从该规则表派生的所有规则的名称的起始部分，附加行号以区分。 （这个自动命名可以通过使用NAME列来覆盖。）定义此Rule Table规则的所有其他单元格位于该单元格的下方和右侧。

下一行定义了列的类型，每列产生一部分条件或结果，或者提供一些规则属性，规则名称或注释。下表显示了哪些列标题可用;根据显示前一节中给出的规则属性条目的表格，可以使用额外的列。请注意，每个属性列最多只能使用一次。对于列标题，请使用关键字或任何其他以这些表格的“初始”列中给出的字母开头的单词。

给定一个标题为CONDITION的列，连续行中的单元格产生一个条件元素。

• CONDITION下面的第一个单元格中的文本发展成规则条件的模式，下一行中的代码段成为约束条件。如果单元格与一个或多个邻居合并，则形成具有多个约束的单个模式：将所有约束合并到一个带括号的列表中，并附加到该单元格中的文本。单元格可能会留空，这意味着下一行中的代码片段必须单独生成有效的条件元素。 要包含没有约束的模式，可以将模式写在另一个模式的文本前面。 模式可以写有或没有一个空的括号。 “from”子句可以附加到模式。 如果模式以“eval”结尾，代码片段应该产生布尔表达式，以包含在“eval”之后的一对括号中。

• CONDITION下面的第二个单元格中的文本分两步处理。

  1. 这个单元格中的代码片段是通过插入列中更靠下的单元格中的值来修改的。如果要使用“==”创建一个由下面的单元格的值组成的约束条件，则仅字段选择器就足够了。任何其他比较运算符都必须被指定为代码片段中的最后一项，并且下面单元格的值被附加。对于所有其他约束形式，您必须标记位置以包含符号“$ param”的单元格的内容。通过在下面的单元格中使用符号“$ 1”，“$ 2”等和逗号分隔值列表，可以实现多重插入。 根据模式forall(delimiter）{snippet}的文本的文本通过对每个单元格中的逗号分隔值列表的每个值重复snippet来展开在下面插入值代替符号$并且通过给定的delimiter加入这些扩展。请注意，该构造可能被其他文本包围。

  2. 如果前一行中的单元格不是空的，则将完成的代码片段添加到该单元格的条件元素中。一对括号是自动提供的，如果将多个约束添加到合并单元格中的模式，则会自动提供分隔逗号。 如果上面的单元格是空的，插入的结果将按原样使用。

• CONDITION下方的第三个单元格中的文本仅用于文档。它应该用来向读者指出专栏的目的。

• 从第四行开始，非空白条目提供如上所述的插值数据。空白单元格导致省略该规则的条件元素或约束条件。 给出一个以行动为首的专栏，连续行中的单元格产生一个行动陈述。

• ACTION下面的第一个单元格中的文本是可选的。如果存在，则将其解释为对象引用。

• ACTION下面第二个单元格中的文本分两步处理。

  1. 这个单元格中的代码片段是通过插入列中更靠下的单元格中的值来修改的。对于单数插入，用符号“$ param”标记包含单元格内容的位置。通过在下面的单元格中使用符号“$ 1”，“$ 2”等和逗号分隔值列表，可以实现多重插入。 没有内插的方法调用可以通过没有任何标记符号的文本来实现。在这种情况下，请使用下面一行中的任何非空白条目来包含该语句。 这个构造也可以在这里找到。 2.如果第一个单元格不是空的，其文本，后面是一个句点，第二个单元格中的文本和终止分号被串联在一起，产生一个方法调用，作为结果的一个动作语句添加。 如果上面的单元格是空的，插入的结果将按原样使用。

• ACTION下面的第三个单元格中的文本仅用于文档。它应该用来向读者指出专栏的目的。

• 从第四行开始，非空白条目提供如上所述的插值数据。空白单元格导致省略此规则的操作语句。

给定一个以METADATA开头的列，连续行中的单元格将为生成的规则生成元数据注释。

• METADATA下面第一个单元格中的文本被忽略。

• 如上所述，METADATA下面的第二个单元格中的文本使用来自规则行单元格的值进行插值。元数据标记字符“@”是自动添加的，因此它不应该包含在这个单元格的文本中。

• METADATA下面的第三个单元格中的文本仅用于文档。它应该用来向读者指出专栏的目的。

• 从第四行开始，非空白条目提供如上所述的插值数据。空白单元格导致省略此规则的元数据注释。

以下示例说明了各种插值。 例85.插值单元格数据 如果模板是“Foo（bar == $ param）”，单元格是“42”，那么结果是“Foo（bar == 42）”。

如果模板是“Foo（bar <$ 1，baz == $ 2）”，而单元格包含“42,43”，则结果将是“Foo（bar <42，baz == 43） 。

模板forall（&&）{bar！= $}与一个包含42,43的单元格产生bar！= 42 && bar！= 43。

下一个例子演示了定义模式类型的单元和下面的代码片段的共同作用。

<br class="Apple-interchange-newline">296/5000该电子表格部分显示了Person类型声明如何跨越2列，因此这两个约束将以Person（age == …​，type == …​）的形式出现。 由于只有字段名称存在于片段中，因此意味着平等测试。

在下面的例子中使用了标志符号$ param。

这个列的结果是模式Person（age ==“42”））。 您可能已经注意到标记和运算符“==”是多余的。

下一个例子说明了一个尾随的插入标记可以省略。

在这里，从单元格中附加值是隐含的，导致Person（年龄<42））。

您可以提供绑定变量的定义，如下例所示。

这里的结果是c：Cheese（type ==“stilton”）。 请注意，报价是自动提供的。 实际上，任何东西都可以放在对象类型的行中。 除了绑定变量的定义之外，它也可以是一个附加的模式，可以直接插入。

下面显示了插入单个值的操作语句的简单构造。

ACTION标题下面的单元格留空。 使用这种风格，任何事情都可以放在结果中，而不仅仅是一个方法调用。 （同样的技术也适用于CONDITION列。）

下面是一个综合的例子，展示了各种列标题的使用。 在列标题之下没有任何值是错误的（如在NO-LOOP列中）：在这里，属性不会被应用在任何规则中。

最后，这里是一个导入，变量和函数的例子。

同一单元格中的多个软件包名称必须用逗号分隔。此外，类型和变量名称对必须用逗号分隔。但是，函数必须按照出现在DRL文件中的方式编写。这应该与“RuleSet”关键字出现在同一列;它可以在所有规则行之上，之间或之下。

电子表格是完善的商业工具（使用了25年以上）。决策表适合密切IT和领域专家之间的合作，同时使业务分析人员明确业务规则，这是一个理想的分离关注点。

通常，编写规则的整个过程（提出一个新的决策表）将是这样的：

1. 业务分析师采用模板决策表（从存储库或从IT）

2. 决策表业务语言描述被输入到表格中

3. 决策表规则（行）被输入（大致）

4. 决策表交给技术资源，他将业务语言（描述）映射到脚本（当然，这可能涉及软件开发，如果是新的应用程序或数据模型）

5. 技术人员交回业务分析师的修改。

6. 业务分析师可以根据需要继续编辑规则行（移动列周围也很好等）。

7. 同时，技术人员可以为规则开发测试用例（与业务分析人员联系），因为一旦系统运行，这些测试用例可用于验证规则和规则更改。

Excel等应用程序的功能可用于帮助将数据输入电子表格，例如验证字段。存储在其他工作表中的列表可用于为单元格提供有效的值列表，如下图所示。

一些应用程序提供了有限的能力来保存更改的历史记录，但是建议使用另一种版本控制方法。当规则随时间发生变化时，旧版本将被归档（许多开源解决方案，例如Subversion或Git）。

1  template header

2  age

3  type

4  log

5

6  package org.drools.examples.templates;

7

8  global java.util.List list;

9

10 template "cheesefans"

11

12 rule "Cheese fans_@{row.rowNumber}"

13 when

14    Person(age == @{age})

15    Cheese(type == "@{type}")

16 then

17    list.add("@{log}");

18 end

19

20 end template

<?xml version="1.0" encoding="UTF-8"?>

<kmodule xmlns="http://drools.org/xsd/kmodule">

  <kbase name="TemplatesKB" packages="org.drools.examples.templates">

    <ruleTemplate dtable="org/drools/examples/templates/ExampleCheese.xls"

                  template="org/drools/examples/templates/Cheese.drt"

                  row="2" col="2"/>

      <ksession name="TemplatesKS"/>

      </kbase>

</kmodule>

package org.drools.examples.templates;

global java.util.List list;

rule "Cheese fans_1"

when

  Person(age == 42)

  Cheese(type == "stilton")

then

  list.add("Old man stilton");

end

rule "Cheese fans_2"

when

  Person(age == 21)

  Cheese(type == "cheddar")

then

  list.add("Young man cheddar");

end

KieSession ksession = kc.newKieSession( "TemplatesKS" );

// now create some test data

ksession.insert( new Cheese( "stilton", 42 ) );

ksession.insert( new Person( "michael", "stilton", 42 ) );

final List<String> list = new ArrayList<String>();

ksession.setGlobal( "list", list );

ksession.fireAllRules();