On 21 February 2011 22:03, Ansgar Konermann <[email protected]
> 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
> [email protected]
> https://lists.jboss.org/mailman/listinfo/rules-users
>
_______________________________________________
rules-users mailing list
[email protected]
https://lists.jboss.org/mailman/listinfo/rules-users

Reply via email to