JESS: [EXTERNAL] Nested not/and syntax question

2012-01-06 Thread Theodore Patkos
Hello everyone and best wishes for the new year could someone please give me an explanation why the following two rules behave in a different way, although they express the same logical formula (i.e., not (Object ^ Pred) )? In fact, only the second rule reaches correct conclusions, as I note b

Re: JESS: Nested not/and syntax question

2012-01-06 Thread Friedman-Hill, Ernest
The difference is actually that the "not" in Rule1 doesn't have a "preceding pattern", and therefore Jess inserts "(initial-fact)", so that the rule won't work unless you've executed "(reset)" at the beginning of the session, as described in section 6.10 of the Jess 7.1 manual. See http://www.jess