acgtk

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

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

*)
i_rhs : (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 -> Predicate.PredIdTable.table -> ConstGen.Table.table -> string
val proto_rule_to_rule : Proto_Rule.t -> Predicate.PredIds.t -> rule
module Rules : Set.S with type elt = rule
module RuleMap : Map.S with type key = rule