There are three aspects:
1. Should retracting fact A also retract any other facts asserted by
forward chaining based on fact A? I think that the answer to this is no.
2. Should retracting fact A cause forward chaining rules with a "notany
A" to fire immediately. I'm less certain on this one, but would lean
3. The remaining aspect is to keep the fact_list caches up to date.
Look at the add_args method in the fact_list class in pyke/fact_base.py to
see how facts are added to the cache (self.hashes is the cache and is kept
in the fact_list object).
This work should be done in the "pyke" hg repository.
You will need a sourceforge ID to be able to commit to the repository. If
you give me your sourceforge username, I would be happy to add you to the