update (deffacts, defrule)