acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.datalogLib
type rule = Datalog_AbstractSyntax.AbstractSyntax.Rule.rule = {
id : int;
lhs : DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate;
e_rhs : (DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int) list;(*

represents the extensionnal predicates of the rule. The int represents the position in the rule

*)
i_rhs : (DatalogLib.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;
}
module Rules : Set.S with type elt = rule
module RuleMap : Map.S with type key = rule