package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (2)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

doc/acgtk.datalogLib/DatalogLib/Datalog_AbstractSyntax/AbstractSyntax/Rule/index.html

Module AbstractSyntax.RuleSource

Sourcetype rule = {
  1. id : int;
  2. lhs : Predicate.predicate;
  3. e_rhs : (Predicate.predicate * int) list;
    (*

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

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

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

    *)
  5. i_rhs_num : int;
    (*

    stores the number of intensional predicates occurring in the rule

    *)
  6. rhs_num : int;
    (*

    stores the number of predicates occurring in the rule body

    *)
}
Sourceval pp : ?with_position:bool -> ?with_id:bool -> ?with_arity:bool -> Predicate.PredIdTable.table -> ConstGen.Table.table -> Format.formatter -> rule -> unit
Sourceval proto_rule_to_rule : Proto_Rule.t -> Predicate.PredIds.t -> rule
Sourcemodule Rules : Set.S with type elt = rule
Sourcemodule RuleMap : Map.S with type key = rule
Sourceval set_new_id : int -> rule -> rule

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

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'.

Sourceval get_variables_in_rule : rule -> Predicate.TermSet.t

get_variables_in_rule rule returns the set of variables in the rule rule

Sourceval get_subgoal : rule -> int -> Predicate.predicate * int

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