Hi Dave,
No, this wasn't previously reported; thanks. I've fixed it in my
working copy so the behaviour will be correct in the next release.
I think Dave Kirby wrote:
>
> Message: Slot for return value contraint must be bound to a variable .
> Program text: ( defrule calc-factorial-forward ?comp-fact <- ( compute
> factorial ?n ) ( factorial = ( - ?n 1 ) at line 16.
>
> It worked ok when I changed the second pattern in the rule so that it bound the
> comparison to an anonymous variable:
>
> (factorial ?&=(- ?n 1) ?val)
>
> However from reading the docs it shouldnt need it - to quote from section 2.8.1
>
> > An example of a return-value constraint would be (a ?X =(+ ?X 1)), which
> > matches "a" facts with two fields, both numbers with the second one
> > greater than the first.
>
---------------------------------------------------------
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]
---------------------------------------------------------------------
