Indeed! Thanks. BTW, I've implemented the
(defrule foo (not (foo ?x ~?x)) => )
thing you asked about; works fine. Any other such cases you're aware
of? Compound CEs (i.e., (not (foo) (bar)), (not (not (foo))), and of
course the long-awaited (or (foo) (bar)) ) are still in the planning
stages.
I think Lars Rasmusson wrote:
>
> Return doesn't exit deffunctions as it should in all cases.
>
> /Lars
>
> ----------------------
>
> Jess, the Java Expert System Shell
> Copyright (C) 1998 E.J. Friedman Hill and the Sandia Corporation
> Jess Version 4.1b4 7/28/98
>
> Jess> (deffunction a ()
> (foreach i (create$ a b c)
> (if TRUE then (return correct)))
> (return incorrect)) ; should never be returned
> TRUE
>
> Jess> (printout t returns" "(a) crlf)
> returns incorrect
>
> Jess>
---------------------------------------------------------
Ernest Friedman-Hill
Distributed Systems Research Phone: (510) 294-2154
Sandia National Labs FAX: (510) 294-2234
Org. 8920, MS 9214 [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. List problems? Notify [EMAIL PROTECTED]
---------------------------------------------------------------------
