[EMAIL PROTECTED] writes: > 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.
I think this is 6.0 final. I downloaded it on Monday. JESS-VERSION-NUMBER says its 6.0. JESS-VERSION-STRING says "Jess Version 6.0 12/7/2001". Since the test as I've written it isn't suppoorted, can you suggest a way to code a test for this condition? -------------------------------------------------------------------- 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] --------------------------------------------------------------------
