如何在Drools中进行嵌套的有孔虫

Question

问题

考虑这些类别：

class BookCase { ArrayList<Book> books }
class Book { ArrayList<Page> pages }
class Page { String color }

考虑到这个自然语言规则：

当书架上的所有页面都是黑色时，进行

琐碎的方法是嵌套forall子句，但在Drools中不能做到这一点，因为forall子句只允许在里面嵌套Patterns（而不是Conditional Elements，forall子句是什么）！

那么我该如何在Drools中表达这一点呢？

Answer 1

这很接近，但并不完全正确：

rule "all black pages"
when
  BookCase( $books: books )
  $book: Book( $pages: pages ) from $books
  not Page( color != "black" ) from $pages
then
  System.out.println( "doing A" );
end

问题是，对于所有页面都是黑色的每本书，这将触发一次。要评估所有书籍中的所有页面，可以列出所有页面的列表，并确保它们都是黑色的：

rule "all black pages, take 2"
when
  BookCase( $books: books )
  $pages: ArrayList() from accumulate( Book( $ps: pages ) from $books,
       init( ArrayList list = new ArrayList(); ),
       action( list.addAll( $ps ); ),
       result( list ) )
  not Page( color != "black" ) from $pages
then
  System.out.println( "doing A" );
end

Answer 2

如果不使用forall(p1 p2 p3...)，而是使用等效的not(p1 and not(and p2 p3...))，则实际上可以嵌套多个foralls。然后，为了防止个别书籍和页面触发规则，在它们之间插入一个exists。

rule 'all pages in bookcase are black'
    when
        (and
        $bookCase: BookCase()
            (not (exists (and
                $book: Book() from $bookCase.books
                not( (and
                    not( (exists (and
                        $page: Page() from $book.pages
                        not( (and
                            // slightly different constraint than I used in question
                            eval($page.color == $book.color)
                        ) )
                    ) ) )
                ) )
            ) ) )
        )
    then
        ...
end

与使用accumulate创建所有页面的平面列表不同，这将维护$page的上下文，也就是说，当一个页面像上面的例子一样被置于其父书本的约束中时，在这个解决方案中Drools仍然"知道"父书本是什么。

Answer 3

当我写这个问题时，我想我自己找到了答案：

BookCase($caseContents : books)
$bookWithOnlyBlackPages : ArrayList<Page>() from $caseContents
forall ( $page : Page(this memberOf $bookWithOnlyBlackPages)
                 Page(this == $page,
                      color == "black") )
forall ( $bookInCase : ArrayList<Page>(this memberOf $caseContents)
                       ArrayList<Page>(this == $bookInCase,
                                       this == $bookWithOnlyBlackPages) )