Datalog.ASRuleSourcetype rule = Datalog_AbstractSyntax.AbstractSyntax.Rule.rule = {id : int;lhs : Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate;e_rhs : (Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int) list;represents the extensionnal predicates of the rule. The int represents the position in the rule
i_rhs : (Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int) list;represents the intensionnal predicates of the rule. The int represents the position in the rule
i_rhs_num : int;}val to_string :
rule ->
?with_position:bool ->
Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table ->
Datalog_AbstractSyntax.ConstGen.Table.table ->
stringval proto_rule_to_rule :
Datalog_AbstractSyntax.AbstractSyntax.Proto_Rule.t ->
Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIds.t ->
rule