let
eq g1 g2 =
g1.facts == g2.facts
&&
g1.clauses == g2.clauses