package acgtk
On This Page
Abstract Categorial Grammar development toolkit
Install
dune-project
Dependency
Authors
Maintainers
Sources
acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc
doc/acgtk.acgData/AcgData/Reduction/Make/index.html
Module Reduction.MakeSource
This module implements the reduction from ACG signatures and lexicons to datalog programs
Parameters
module Sg : module type of Signature.Data_SignatureSignature
Source
val generate_and_add_rule :
abs_cst:(string * Logic.Lambda.Lambda.stype) ->
interpretation:(Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype) ->
abs_sig:Sg.t ->
obj_sig:Sg.t ->
update_fct:
(Logic.Lambda.Lambda.term ->
(string UtilsLib.Utils.IntMap.t * UtilsLib.Utils.StringSet.t) ->
string * (string UtilsLib.Utils.IntMap.t * UtilsLib.Utils.StringSet.t)) ->
syms:(string UtilsLib.Utils.IntMap.t * UtilsLib.Utils.StringSet.t) ->
DatalogLib.Datalog.Datalog.Program.program ->
DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Rule.rule
* DatalogLib.Datalog.Datalog.Program.program
* (string UtilsLib.Utils.IntMap.t * UtilsLib.Utils.StringSet.t)generate_and_add_rule ~abs_cst:(name, dist_type) ~interpretation:(o_term, o_type) prog abs_sig obj_sig returns a pair (r,prog') where:
ris the generated ruleprog'isprogwhere the rulerhas been addednameis the abstract constant name from the abstract signatureabs_sigthat triggers the rule generation, anddist_typeis its typeo_termis the interpretation ofnameaccording to some lexicono_typeis its type (and should be the image by the same lexicon ofabs_cstprogis the current datalog programabs_sigandobj_sigare the abstract signature and the object signature of some ACG.
Source
val edb_and_query :
obj_term:Logic.Lambda.Lambda.term ->
obj_type:Sg.stype ->
dist_type:Sg.stype ->
?adornment:MagicRewriting.Adornment.status list ->
DatalogLib.Datalog.Datalog.Program.program ->
abs_sig:Sg.t ->
obj_sig:Sg.t ->
syms:(string UtilsLib.Utils.IntMap.t * UtilsLib.Utils.StringSet.t) ->
DatalogLib.Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate
* DatalogLib.Datalog.Datalog.Program.programedb_and_query ~obj_term ~obj_type ~dist_type prog ~abs_sig ~obj_sig returns a pair (q,prog') where:
qis the predicate corresponding to the query generated by the object termobj_termto parseprog'isprogwhere the extensional database resulting from the reduction of the object termobj_termhas been addedobj_typeis the type ofobj_term(only used for debugging information)dist_typeis the distinguished type of the ACGprogis the current datalog programabs_sigandobj_sigare the abstract signature and the object signature of some ACG.
On This Page