Module Datalog.Default

module Default: sig .. end
This is a ready-to-use instance of Datalog.Make, with hashconsed strings as symbols. It also features some handy conversion functions from Datalog.Ast.

include Datalog.S
type vartbl = {
   mutable vartbl_count :int;
   vartbl_tbl :(string, int) Hashtbl.t;
val mk_vartbl : unit -> vartbl
val literal_of_ast : ?tbl:vartbl -> Datalog.Ast.literal -> literal
val clause_of_ast : Datalog.Ast.clause -> clause
val query_of_ast : Datalog.Ast.query -> int array * literal list * literal list