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
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:
A list of related publications is available at the ACG web page.
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.
to get help.
acg is an interpreter of command meant to be useful when using ACGs. To get a list of command, run
then, on the prompt, type