sig
  type file = Datalog.Ast.clause list
  and clause = Clause of Datalog.Ast.literal * Datalog.Ast.literal list
  and literal = Atom of string * Datalog.Ast.term list
  and term = Var of string | Const of string | Quoted of string
  and query =
      Query of Datalog.Ast.term list * Datalog.Ast.literal list *
        Datalog.Ast.literal list
end