Datalog (acgtk.DatalogLib.Datalog)

module 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.table

module ASRule : 
  module type of Datalog_AbstractSyntax.AbstractSyntax.Rule
    with type rule = Datalog_AbstractSyntax.AbstractSyntax.Rule.rule

module ASProg : 
  module type of Datalog_AbstractSyntax.AbstractSyntax.Program
    with type program = Datalog_AbstractSyntax.AbstractSyntax.Program.program

module Log : UtilsLib.Xlog.MyLOG

Log is the log module for Datalog

module type Datalog_Sig = sig ... end

module Make (_ : UnionFind.Store) : Datalog_Sig

module Datalog : Datalog_Sig