Make.DB
type t
val create : unit -> t
val add_clause : t -> Clause.t -> unit
val add_triple : t -> Rdf.Triple.t -> unit
type query
= Atom.t
val prove : t -> query -> Atom.t list