package acgtk

  1. Overview
  2. Docs
type rule = Datalog_AbstractSyntax.AbstractSyntax.Rule.rule = {
  1. id : int;
  2. lhs : Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate;
  3. e_rhs : (Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int) list;
    (*

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

    *)
  4. i_rhs : (Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int) list;
    (*

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

    *)
  5. i_rhs_num : int;
}
module Rules : Stdlib.Set.S with type elt = rule
module RuleMap : Stdlib.Map.S with type key = rule
OCaml

Innovation. Community. Security.