package acgtk
Install
Dune Dependency
Authors
Maintainers
Sources
sha512=e0c72426381259e9ce599c160f83ecf411eaf48b8b050d9c3e87b63d124a719cbc58101892e9594ea30c6ad8950b0dc66c84debca1ca3c370d81fc6654afd21c
Description
This toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references.
Published: 09 Oct 2023
README
README.md
ACG development toolkit
Copyright 2008-2023 INRIA
More information on "https://acg.loria.fr/" License: CeCILL, see the LICENSE file or "http://www.cecill.info" Authors: see the AUTHORS file
ACGtk: an ACG development toolkit
ACGtk is a software package (2008-2023 INRIA©) for the development of abstract categorial grammars. This distribution provides two executables: acgc
and acg
.
It is distributed with the CeCILL license (see the LICENSE file or http://www.cecill.info). Contributors are listed in the AUTHORS.md file.
A list of related publications is available at the ACG web page.
acgc
acgc
is a "compiler" of ACG source code, i.e., files containing definitions of signatures and lexicons. It basically checks whether they are correctly written (syntactically and w.r.t. types and constant typing) and outputs an .acgo
object file.
Run
./acgc --help
to get help.
acg
acg
is an interpreter of command meant to be useful when using ACGs. To get a list of command, run
./acg
then, on the prompt, type
ACGtk> help
Example files are given in the examples directory. Read the README.md file.
More detailed documentation is available for users and developers.