package acgtk
Abstract Categorial Grammar development toolkit
Install
Dune Dependency
Authors
Maintainers
Sources
acgtk-1.5.3.tar.gz
sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41
md5=04c1e14f98e2c8fd966ef7ef30b38323
doc/acgtkLib.datalogLib/DatalogLib/Dl_parser/index.html
Module DatalogLib.Dl_parserSource
Source
type token = | SLASH of UtilsLib.ErrorMg.location| RPAR of UtilsLib.ErrorMg.location| QUESTION_MARK of UtilsLib.ErrorMg.location| LPAR of UtilsLib.ErrorMg.location| INT of int * UtilsLib.ErrorMg.location| IDENT of string * UtilsLib.ErrorMg.location| FROM of UtilsLib.ErrorMg.location| EOI| DOT of UtilsLib.ErrorMg.location| COMMA of UtilsLib.ErrorMg.location
Source
val query :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.table) ->
Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate
* Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.tableSource
val extensional_facts :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.table
* UtilsLib.IdGenerator.IntIdGen.t) ->
Datalog_AbstractSyntax.AbstractSyntax.Rule.rule list
* Datalog_AbstractSyntax.ConstGen.Table.table
* UtilsLib.IdGenerator.IntIdGen.t