include TopDown.PARSE
with type term = Logic.T.t
and type lit = Logic.Lit.t
and type clause = Logic.C.ttype term = Logic.T.ttype lit = Logic.Lit.ttype clause = Logic.C.tval create_ctx : unit -> name_ctxval term_of_ast : ctx:name_ctx -> Datalog_top_down.AST.term -> termval lit_of_ast : ctx:name_ctx -> Datalog_top_down.AST.literal -> litval clause_of_ast : ?ctx:name_ctx -> Datalog_top_down.AST.clause -> clauseval clauses_of_ast :
?ctx:name_ctx ->
Datalog_top_down.AST.clause list ->
clause listval parse_chan : in_channel -> [ `Ok of clause list | `Error of string ]val parse_file : string -> [ `Ok of clause list | `Error of string ]val parse_string : string -> [ `Ok of clause list | `Error of string ]Additional functions, to load clauses directly into the DB
val load_chan : Logic.DB.t -> in_channel -> boolval load_file : Logic.DB.t -> string -> boolval load_string : Logic.DB.t -> string -> bool