S.Datalog
module Term : sig ... end
type predicate
= string
module Atom : sig ... end
module Literal : sig ... end
module Clause : sig ... end
module DB : sig ... end
module Parser : sig ... end