acgtkLib.datalogLib
DatalogLib.Datalog_AbstractSyntax
acgtkLib.acgData
acgtkLib.logic
acgtkLib.utilsLib
module VarGen : UtilsLib.IdGenerator.IdGen_TYPE
module ConstGen : UtilsLib.IdGenerator.IdGen_TYPE
These modules are the abstract syntactic representations of predicates and rules
module AbstractSyntax : sig ... end