Drools-使用事实类的嵌套规则

Question

这篇文章建议添加一些事实类作为嵌套规则的一种方式。http://drools.46999.n3.nabble.com/How-can-I-nested-rules-td4020488.html#a4020681

我想知道的是——有没有保证“年龄和性别女性”在“怀孕”之前执行，“怀孕”在“怀孕2”之前执行？据我所知，我的申请中总是这样。但是，它是记录在口水留档的某个地方，还是只是等待倒塌的纸牌屋？

    rule "Age and gender women" 
    when 
        $p : Person(p1 >= 12 && p2 = 1) 
    then 
        insertLogical( new CouldHaveBeenPregnant($p) ); 
end 

rule "Pregnant" 
    when 
        $p : Person(p3 > 1) 
        CouldHaveBeenPregnant( person == $p ) 
    then 
        insertLogical( new HasBeenPregnant($p) ); 
end 

rule "Pregnant2" 
    no-loop 
    when 
        $p : Person(p4 <= P3) 
        HasBeenPregnant( person == $p ) 
    then 
        $p.setStatus("OK"); 
        update($p); 
end 

提前感谢您的帮助

编辑：当我不得不添加一条新规则时，我的问题就出现了，比如说“不怀孕”，当这个人还没有怀孕时，我必须做些什么（person==$p）。推理原则有时不起作用（如预期的那样）。因为，有时，“不怀孕”规则会先执行，然后才发现这个人怀孕了，也就是说，“怀孕”后来会变为现实。但“未怀孕”的结果已经出现。

那么，对于如何克服这个问题有什么建议吗？

Answer 1

无法保证规则全部匹配时的计算顺序。但是，在上面的示例中，顺序是以最佳方式强制执行的。

第一条规则将在工作记忆中存在具有适当属性的个人事实时激活。

第二条规则不会激活，直到工作记忆中有一个人和一个名为CouldHaveBeenPregnant的事实，它引用了这个人。CouldHaveBeenPregnant只有在规则1激活并插入它时才会在工作记忆中。

同样，只有当有具有匹配属性的人和引用该人的hasbeenpregant事实时，第三条规则才会激活。hasbeenpregant事实仅由第二条规则插入。

即规则3在规则2之后才能激活，规则2在规则1之后才能激活。

这就是所谓的“推理”，是良好规则设计的重要工具。Mark Proctor（Drools领导）在这里写了一篇关于它的好博客条目：

http://blog.athico.com/2009/11/what-is-inference-and-how-does-it.html