[rules-users] unsolved myth regarding transitive closure using insertlogical...

[Wolfgang Laun]

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