<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 22/09/2010 11:27, Wolfgang Laun wrote:
<blockquote
cite="mid:AANLkTi=b=fcnHFA+UqF0CKLskMKSz7eaCV=2-3qDGeus@mail.gmail.com"
type="cite">Rules lhs_not and lhs_exist are analogous, and both of
them are derivations of lhs_unary.<br>
<br>
But lhs_unary also has the alternative lhs_not_binding, which
permits us to write one of<br>
these two forms:<br>
not $label : Fact( )<br>
not $label : ( Fact1() || Fact2() || ... )<br>
<br>
Is this binding, which is restricted to the scope of 'not', useful
in any way?<br>
Possibly within the 1st form, in an inline eval. But I don't see
how it can<br>
be used in the second case. <br>
<br>
Why is the same binding not possible with 'exists'?<br>
<br>
(This is not meant to say that I'd like to have binding for
'exists', too.)<br>
</blockquote>
I believe that edson wants to remove the <br>
<br>
<br>
I saw that in Clips and thought it was nice, but edson prefers the
more explicit and consistent:<br>
( $binding : Pattern() or $binding : Patern() or $binding :
Pattern() )<br>
<br>
With regards to why not, but not exists, I dunno edson will have to
answer that one.<br>
<br>
Mark<br>
<blockquote
cite="mid:AANLkTi=b=fcnHFA+UqF0CKLskMKSz7eaCV=2-3qDGeus@mail.gmail.com"
type="cite"><br>
-W<br>
<br>
<br>
<br>
<br>
<br>
<br>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
rules-dev mailing list
<a class="moz-txt-link-abbreviated" href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/rules-dev">https://lists.jboss.org/mailman/listinfo/rules-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>