DatalogLib.DatalogSourcemodule ASPred :
module type of Datalog_AbstractSyntax.AbstractSyntax.Predicate
with type pred_id = Datalog_AbstractSyntax.AbstractSyntax.Predicate.pred_id
and type PredIdTable.table =
Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.tablemodule ASRule :
module type of Datalog_AbstractSyntax.AbstractSyntax.Rule
with type rule = Datalog_AbstractSyntax.AbstractSyntax.Rule.rulemodule ASProg :
module type of Datalog_AbstractSyntax.AbstractSyntax.Program
with type program = Datalog_AbstractSyntax.AbstractSyntax.Program.programLog is the log module for Datalog