I don't think this is an essential problem -- it actually just looks like a bit of confusion in the Rete net about how to index the tokens at a particular join node. I'll look into it ASAP. Thanks for the report.
I think tim finin wrote: > It seems like Jess (v. 6.0b3) can't handle a negated conjunction > with unbound variables, probably because of the rewriting > technique used to implement it. Here's an example of > what I'm trying to do: > > (deffacts facts > (p 1)(p 2)(p 3)(p 4) > (q 1 -1)(q 1 2)(q 1 3) > (q 2 3)(q 2 4) > (q 4 -2) > (negative -1) > (negative -2)) > > (defrule test > ;; this rule should succeed for ?x=2 and ?x=3 > (p ?x) > (not (and (q ?x ?z) (negative ?z))) > => > (printout t "found " ?x crlf)) > > which causes an error when loaded as shown below. Is this > a known limitation in Jess? --------------------------------------------------------- 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] --------------------------------------------------------------------
