Module `Datalog.ASRule`Source

Sourcetype 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;
(*
stores the number of intensional predicates occurring in the rule
*)
rhs_num : int;
(*
stores the number of predicates occurring in the rule body
*)

}

val pp : 
  ?with_position:bool ->
  ?with_id:bool ->
  ?with_arity:bool ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table ->
  Datalog_AbstractSyntax.ConstGen.Table.table ->
  Format.formatter ->
  rule ->
  unit

Source

val proto_rule_to_rule : 
  Datalog_AbstractSyntax.AbstractSyntax.Proto_Rule.t ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIds.t ->
  rule

Sourcemodule Rules : Set.S with type elt = rule

Sourcemodule RuleMap : Map.S with type key = rule

Source

val extend_head_id_map_to_rules : 
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.pred_id ->
  rule ->
  Rules.t Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdMap.t ->
  Rules.t Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdMap.t

Sourceval set_new_id : int -> rule -> rule

set_new_id id rule returns a rule similar to rule except that its id is id

Source

val set_new_id_from_gen : 
  rule ->
  UtilsLib.IdGenerator.IntIdGen.t ->
  rule * UtilsLib.IdGenerator.IntIdGen.t

set_new_id_from_gen returns pair (rule',from_gen') wherer rule' is a rule similar to rule excepts that it has a new id generated from from_gen generator, and the latter has been updated to from_gen'.

Source

val get_variables_in_rule : 
  rule ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.TermSet.t

get_variables_in_rule rule returns the set of variables in the rule rule

Source

val get_subgoal : 
  rule ->
  int ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate * int

get_subgoal rule i returns the predicate at the position i in the body of the rule rule

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.datalogLib/DatalogLib/Datalog/ASRule/index.html

Module `Datalog.ASRule`Source

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/acgtk.datalogLib/DatalogLib/Datalog/ASRule/index.html

Module Datalog.ASRuleSource

Module `Datalog.ASRule`Source