I think Alan Moore wrote: [Charset iso-8859-1 unsupported, filtering to ASCII...] > Ernest, > > There appears to be a problem with the (not (exists (XYZ))) pattern. >
Mmmmm, you're right. There appears to be a bug in the rule compiler triggered by odd numbers N of concentric "not" conditional elements where N >= 3 (recall that (exists) is really (not (not)), so (not (exists)) is (not (not (not))).) The bug is actually an optimization for N=1 that is inadvertently kicking in for N=3, 5, 7... I should be able to fix this quickly. Thanks very much for the sample code and the report. --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- 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] --------------------------------------------------------------------