Hi Thomas,
Congratulations, this is a bug. Reordering the patterns is an
effective workaround in this case. The fix is fairly simple, and will
be included in the next release.
I think Thomas Gentsch wrote:
>
> Hello,
>
> the following rule
>
> (defrule Simple-not-test
> (Test fact ?class)
> (not (and (Simple (OBJECT ?o&:(call ?o IsClass ?class)) (name ?name)
> (class ?c))
> (bla (OBJECT ?o1))))
> =>
> ...
> )
>
> causes an error with Jess 6.08, which seems to me not correct (??):
>
> Simple-not-test: +1+1+1=1+1+1+2+2+t
> Exception in thread "main" Jess reported an error in routine
> ReteCompiler.eval
> while executing (batch itm.clp).
> Message: Unbound variable found in funcall: _2_o parsing defrule
> Simple-not-test&1 .
> Program text: ( batch itm.clp ) at line 1.
> at jess.aq.a(Unknown Source)
...
>
> Funny is that this problem does not appear, if I change the order of the
> two sub-rules in the (and ...) which would be the workaround. But I
> don't know yet, whether it really works due to the problem I posted
> earlier ...
>
> --
>
> Thomas Gentsch
>
---------------------------------------------------------
Ernest Friedman-Hill
Distributed Systems Research Phone: (925) 294-2154
Sandia National Labs FAX: (925) 294-2234
Org. 8920, MS 9012 [EMAIL PROTECTED]
PO Box 969 http://herzberg.ca.sandia.gov
Livermore, CA 94550
---------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the
list (use your own address!) List problems? Notify [EMAIL PROTECTED]
---------------------------------------------------------------------
