package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

dune-project

Dependency

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

Authors

S

Sylvain Pogodalla

Maintainers

S

sylvain.pogodalla@inria.fr

Sources

acgtk-1.5.3.tar.gz

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

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

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;

}

Source

val to_string : 
  rule ->
  ?with_position:bool ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table ->
  Datalog_AbstractSyntax.ConstGen.Table.table ->
  string

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