Datalog.Datalog
exception Fails
module UF : UnionFind.S
module Predicate : sig ... end
module Rule : sig ... end
module Program : sig ... end