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

acg-2.2.0-20251107.tar.gz

sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/acgtk.logic/Logic/Expand/index.html

Module `Logic.Expand`Source

This module implements the expand algorithm of Makoto Kanazawa's article "Parsing and generation as Datalog query evaluation" to deal with almost linear grammars.

Sourcemodule Log : UtilsLib.Xlog.MyLOG

Log is the log module for Expand

Sourcemodule Address : sig ... end

The Address module implements addresses as used in Makoto's paper

Sourcemodule AddSet : sig ... end

The AddSet module implements a trie data structure to represent sets of Address.t addresses

Source

val collapse : 
  ?consts:Lambda.Lambda.consts ->
  Lambda.Lambda.term ->
  Lambda.Lambda.term option

collapse ~consts t returns None if t is unchanged through the collapse algorithm (i.e., no subterm of atomic type occurs at least twice in t), and Some u where u is the results of the (recursive) collapse algorithm.

It is expected that t does not contain unexpanded defined constants.

If consts is provided, the mapping from constant ids to strings (in some signature) is used to pretty prints terms if Log log level is set to some adequate level. Otherwise, each constant is printed as Const[i].