Re: [rules-users] unsolved myth regarding transitive closure using insertlogical...
On 21 February 2011 22:03, Ansgar Konermann <ansgar.konermann(a)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(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users
Attachments:
- attachment.html (text/html — 1.4 KB)