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 (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

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

Module Datalog.ASRuleSource

Sourcetype 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;
    (*

    stores the number of intensional predicates occurring in the rule

    *)
  6. rhs_num : int;
    (*

    stores the number of predicates occurring in the rule body

    *)
}
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'.

get_variables_in_rule rule returns the set of variables in the rule rule

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