I think Mark Nahabedian wrote: > > ** HERE: > (and (test (neq ?face2 ?face3)) > (not (and (equiv (type face) (set $?set3)) > (test (and (member$ ?face2 $?set3) > (member$ ?face3 $?set3)))))) > => > (assert-equiv face ?face2 ?face3)) > > I've tried various transformations of that test (via DeMorgan''s > theorem) but I keep getting an error like this one (for the code > above): > > ==> f-124 (MAIN::segment-face (face C-face-24) (edge "cord-1[3]") (edge-side >side-40)) > Jess exception: Jess reported an error in routine ValueVector.get > while executing (member$ ?face2 ?set3)
If you upgrade to Jess 6.0 final, you'll get a better error message, explaining that the problem is that $?set is defined in one pattern within a "not" group, then referenced in another. Although this obviously -should- be supported, it isn't yet. It will be supported in Jess 6.1. --------------------------------------------------------- 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] --------------------------------------------------------------------
