# Grammatical Framework

Version 3.4
January 2013

[ Demos | Download | Libraries | Reference | Tutorial | QuickStart | UserGroup | Book | GitHub | Interactive Map New! | ]

[ Issues | Wiki | People | Publications | QuickRefCard | GF Shell Reference | GF Editor Modes | GF Eclipse Plugin | LibTutorial | PGF library API | MOLTO | SummerSchool New! | Android ]

## News

2013-07-26: | Started a page with RGL Documentation and Publications.
2013-06-24: | We are now running the IRC channel `#gf` on the Freenode network.
2013-06-19: | New resource grammar language: Maltese. See library synopsis.
2013-04-25: | New resource grammar language: Greek. See library synopsis.
2013-01-31: | GF 3.4 released! Release notes.
2012-12-10: | Resource Grammar Library coverage map, created by Tommi Nieminen.
2012-11-18: | GF Summer School in Frauenchiemsee, 18-30 August 2013.
2012-11-18: | New resource grammar language: Chinese. See library synopsis. Complete but not yet perfect.
2012-06-29: | GF sources now mirrored in GitHub, with change statistics and other browsing features. See `github.com/GrammaticalFramework/GF`
2012-05-07: | New resource grammar language: Japanese. See library synopsis.
2012-03-23: | There will be a GF tutorial at ICFP 2012 in Copenhagen.
2012-03-03: | GF 3.3.3 released! Release notes.

## What is GF

GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is

- a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages
- a functional language, like Haskell, Lisp, OCaml, Scheme, SML, but specialized to grammar writing
- a natural language processing framework, like LKB, XLE, Regulus, but based on functional programming and type theory
- a categorial grammar formalism, like ACG, CCG, but different and equipped with different tools
- a logical framework, like Agda, Coq, Isabelle, but equipped with concrete syntax in addition to logic

Don't worry if you don't know most of the references above - but if you do know at least one, it may help you to get a first idea of what GF is.

## Applications

GF can be used for building

- translation systems
- multilingual web gadgets
- natural-language interfaces
- dialogue systems
- natural language resources

## Availability

GF is open-source, licensed under GPL (the program) and LGPL and BSD (the libraries). It is available for

- Linux
- Mac OS X
- Windows
- Android mobile platform (via Java; runtime)
- via compilation to JavaScript, almost any platform that has a web browser (runtime)

## Projects

GF was first created in 1998 at Xerox Research Centre Europe, Grenoble, in the project Multilingual Document Authoring. At Xerox, it was used for prototypes including a restaurant phrase book, a database query system, a formalization of an alarm system instructions with translations to 5 languages, and an authoring system for medical drug descriptions.

Later projects using GF and involving third parties include, in chronological order,

- GF-Alfa: natural language interface to formal proofs
- Efficient: authoring tool for business models.
- GF-KeY: authoring and translation of software specifications
- TALK: multilingual and multimodal spoken dialogue systems
- WebALT: multilingual generation of mathematical exercises (commercial project)
- SALDO: Swedish morphological dictionary based on rules developed for GF and Functional Morphology
- MOLTO: multilingual online translation.

Academically, GF has been used in at least ten PhD theses and resulted in more than a hundred scientific publications (see GF publication list).

## Programming in GF

GF is easy to learn by following the tutorial. You can write your first translator in 15 minutes.

GF has an interactive command interpreter, as well as a batch compiler. Grammars can be compiled to parser and translator code in many different formats. These components can then be embedded in applications written in other programming languages. The formats currently supported are:

- Haskell
- Java, in particular the Android platform
- JavaScript
- Speech recognition: HTK/ATK, Nuance, JSGF

The GF programming language is high-level and advanced, featuring

- static type checking
- higher-order functions
- dependent types
- pattern matching with data constructors and regular expressions
- module system with multiple inheritance and parametrized modules

### Getting help

If you need some help with GF, the first places to start are the Tutorial and Reference pages. The printed book contains all the material in the tutorial and some extra bits, and is the recommended reference for GF.

We run the IRC channel `#gf` on the Freenode network, where you are welcome to look for help with small questions or just start a general discussion. If you have a larger question which the community may benefit from, we recommend you ask it on the mailing list.

## Libraries

Libraries are at the heart of modern software engineering. In natural language applications, libraries are a way to cope with thousands of details involved in syntax, lexicon, and inflection. The GF resource grammar library has support for an increasing number of languages, currently including

1. Afrikaans
2. Amharic (partial)
3. Arabic (partial)
4. Bulgarian
5. Catalan
6. Chinese
7. Danish
8. Dutch
9. English
10. Finnish
11. French
12. German
13. Greek
14. Hebrew (fragments)
15. Hindi
16. Interlingua
17. Japanese
18. Italian
19. Latin (fragments)
20. Latvian
21. Maltese
22. Nepali
23. Norwegian bokmål
24. Persian
25. Polish
26. Punjabi
27. Romanian
28. Russian
29. Sindhi
30. Spanish
31. Swahili
32. Swedish
33. Thai
34. Turkish (fragments)
35. Urdu

Adding a language to the resource library takes 3 to 9 months - contributions are welcome! You can start with the resource grammarian's tutorial.