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
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