<br><br><div class="gmail_quote">On 21 February 2011 22:03, Ansgar Konermann <span dir="ltr"><<a href="mailto:ansgar.konermann@googlemail.com">ansgar.konermann@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im"><div></div><br>
<br>
</div>If insertLogical did introduce duplicate objects, we'd need this:<br>
<br>
when<br>
exists edge(a, b)<br>
exists reach(b, c)<br>
<div class="im">then<br>
insertLogical( reach(a,c) )<br>
<br></div></blockquote><div><br>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.<br>
<br>-W<br><br><br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">
<br>
</div><div><div></div><div class="h5">Kind regards<br>
<br>
Ansgar<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</div></div></blockquote></div><br>