let empty = { facts = []; clauses = [] }