Integration.DatalogFacts
val create_from_json : datalog_dir:string -> report_json:string -> unit
Produce .facts files in a subdirectory. Facts can be used as input for Soufflé.