let
put fct g =
if
not(mem fct g)
then
g.facts <- fct :: g.facts