gf: Grammatical Framework

[ compiler, library, natural-language-processing, program ] [ Propose Tags ] [ Report a vulnerability ]

[Skip to Readme]

Modules

Flags

Automatic Flags

Name	Description	Default
interrupt	Enable Ctrl+Break in the shell	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

gf-3.1.6.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

JohnCamilleri, KrasimirAngelov, ThomasHallgren, inariksit, anka213

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	3.1.6, 3.1.6.1, 3.1.6.2, 3.2, 3.2.9, 3.3, 3.3.3, 3.4, 3.5, 3.6, 3.7, 3.7.1, 3.8, 3.9, 3.10, 3.11, 3.11.0, 3.12, 3.12.0 (info)
Dependencies	array, base (>=4.2 && <5), bytestring, containers, directory, filepath, haskeline, mtl, old-time, pretty, process, random, unix, Win32 [details]
License	LicenseRef-GPL
Author
Maintainer	none
Uploaded	by KrasimirAngelov at 2010-04-23T12:45:07Z
Home page	http://www.grammaticalframework.org
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	gf
Downloads	15113 total (95 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-12-30 [all 7 reports]

Readme for gf-3.1.6

[back to package description]

DESCRIPTION

The Grammatical Framework (=GF) is a grammar formalism based on type theory. 
It consists of

    * a special-purpose programming language
    * a compiler of the language
    * a generic grammar processor 

The compiler reads GF grammars from user-provided files, and the 
generic grammar processor performs various tasks with the grammars:

    * generation
    * parsing
    * translation
    * type checking
    * computation
    * paraphrasing
    * random generation
    * syntax editing 

GF particularly addresses four aspects of grammars:

    * multilinguality (parallel grammars for different languages)
    * semantics (semantic conditions of well-formedness, semantic 
      properties of expressions) 
    * grammar engineering (modularity, abstractions, libraries)
    * embeddability in programs written in other languages (C,C++,
      Haskell, Java, JavaScript)


COMPILATION and INSTALLATION of source distribution:
See doc/gf-developers.html for installation instructions.