anchor.diff:      (trace-assert fact)
       (add-fact-to-network (rete-network self) fact)
       (when (fact-shadowsp fact)
  -      (register-clos-instance self (find-instance-of-fact fact) fact))
  -    fact))
  +      (register-clos-instance self (find-instance-of-fact fact) fact)))
  +  fact)
  +  
  +(defmethod assert-fact ((self rete) fact &key cf)
  +  (if (null cf)
  +      (assert-fact-aux self fact)
  +    (calculate-cf self fact cf))
  +  fact)
   
   (defmethod retract-fact ((self rete) (fact fact))
     (with-truth-maintenance (self)
  
positive.code:                   (deffacts-fact-list deffact)))
          (rete-autofacts rete)))
  
  (defmethod assert-fact ((self rete) fact &key cf)
    (declare (ignore cf))
    (ensure-fact-is-unique self fact)
    (with-truth-maintenance (self)
      (setf (fact-id fact) (next-fact-id self))
  
negative.code: ;;; File: rete.lisp
  ;;; Description: Class representing the inference engine itself.
  
  ;;; $Id: rete.lisp,v 1.59 2004/09/14 21:07:56 youngde Exp $
  
  (in-package "LISA")
  
  