Hi, I am doing some experiments with regards to truth maintenance.
Assume that I have a rule like: (defrule simpleRule (aaa) =>(bbb)) Asserting an (aaa) fact and (run)ning the rule will result in a new fact (bbb). Nevertheless, retracting (aaa) will not retract (bbb) as well, and I found it quite contrary to what was mentioned on page 139 of the book "Jess in Action." Am I missing some config options? Thanks for your comments in advance. --Oli