On 21 February 2011 22:03, Ansgar Konermann <ansgar.konermann@googlemail.com> wrote:


If insertLogical did introduce duplicate objects, we'd need this:

when
     exists edge(a, b)
     exists reach(b, c)
then
     insertLogical( reach(a,c) )


You cannot write this because it's not possible to use variables bound within an exist CE outside this context. Even if you omit the first exists, then c from the second exists is not available.

-W


 

Kind regards

Ansgar
_______________________________________________
rules-users mailing list
rules-users@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users