[rules-users] unsolved myth regarding transitive closure using insertlogical...
Wolfgang Laun
wolfgang.laun at gmail.com
Tue Feb 22 01:49:48 EST 2011
On 21 February 2011 22:03, Ansgar Konermann <ansgar.konermann at 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 at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-users/attachments/20110222/8123851c/attachment.html
More information about the rules-users
mailing list