diff options
| -rw-r--r-- | index-3.html | 184 | ||||
| -rw-r--r-- | index-3.txt | 157 |
2 files changed, 341 insertions, 0 deletions
diff --git a/index-3.html b/index-3.html new file mode 100644 index 000000000..be60ae150 --- /dev/null +++ b/index-3.html @@ -0,0 +1,184 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> +<HTML> +<HEAD> +<META NAME="generator" CONTENT="http://txt2tags.sf.net"> +</HEAD><BODY BGCOLOR="white" TEXT="black"> +<FONT SIZE="4"> +</FONT></CENTER> + +<P> +<center> +</P> +<P> +<IMG ALIGN="middle" SRC="doc/gf-logo.png" BORDER="0" ALT=""> +</P> +<H1>Grammatical Framework</H1> +<P> +Version 3.0 +</P> +<P> +June 2008 +</P> +<P> +</center> +</P> +<P> +<CODE>|</CODE> <A HREF="demos/">Demos</A> +<CODE>|</CODE> <A HREF="download">Download</A> +<CODE>|</CODE> <A HREF="download">Development</A> +<CODE>|</CODE> <A HREF="doc/events.html">Events</A> +<CODE>|</CODE> <A HREF="lib/">Libraries</A> +<CODE>|</CODE> <A HREF="doc/gf-people.html">People</A> +<CODE>|</CODE> <A HREF="doc/projects.html">Projects</A> +<CODE>|</CODE> <A HREF="doc/gf-tutorial.html">Publications</A> +<CODE>|</CODE> <A HREF="doc/gf-refman.html">Reference</A> +<CODE>|</CODE> <A HREF="doc/gf-tutorial.html">Tutorial</A> +<CODE>|</CODE> +</P> +<P> +<font size=-1> +</P> +<H2>News</H2> +<P> +27 June 2008: release of GF 3.0 and a new web page; the old web page is +<A HREF="index-2.html">here</A>. +</P> +<P> +</font> +</P> +<H2>What is GF</H2> +<P> +GF, Grammatical Framework, is a programming language for +<B>multilingual grammar applications</B>. It is +</P> +<UL> +<LI>a <B>special-purpose language for grammars</B>, like YACC, Bison, Happy, BNFC +<LI>a <B>functional language</B>, like Haskell, Lisp, OCaml, Scheme, SML +<LI>a <B>natural language processing framework</B>, like LKB, XLE, Regulus +<LI>a <B>categorial grammar formalism</B>, like ACG, CCG +<LI>a <B>logical framework</B>, like Agda, Coq, Isabelle +</UL> + +<P> +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. +</P> +<H2>Applications</H2> +<P> +GF can be used for building +</P> +<UL> +<LI>[text translators ] +<LI>[speech translators ] +<LI>[natural-language interfaces ] +<LI>[multilingual web pages ] +<LI>[multilingual authoring systems ] +<LI>[dialogue systems ] +<LI>[language training systems ] +<LI>[natural language resources ] +</UL> + +<H2>Availability</H2> +<P> +GF is <B>open-source</B>, licensed under [GPL ] (the program) and [LGPL ] (the libraries). It +is available for +</P> +<UL> +<LI>[Linux ] +<LI>[Mac OS X ] +<LI>[Windows ] +<LI>via compilation to [JavaScript ], almost any platform that has a web browser +</UL> + +<H2>Projects</H2> +<P> +GF was born in 1998 at Xerox Research Centre Europe, Grenoble in the project +Multilingual Document Authoring. At Xerox, it was used for prototypes including +</P> +<UL> +<LI>restaurant phrase book in 6 languages +<LI>database queries in 7 languages +<LI>alarm system instructions in 5 languages +<LI>medical drug descriptions in 2 languages +</UL> + +<P> +Later projects using GF and involving third parties include, in chronological order, +</P> +<UL> +<LI>GF-Alfa: natural language interface to formal proofs +<LI>GF-KeY: authoring and translation of software specifications +<LI>TALK: multilingual and multimodal spoken dialogue systems +<LI>WebALT: multilingual generation of mathematical exercises (commercial project) +<LI>MultiWiki: multilingual Wiki for restaurant reviews +<LI>SALDO: Swedish morphological dictionary based on tools developed for GF +</UL> + +<P> +Academically, GF has been used in four [PhD theses ], and resulted in around +fifty [scientific publications ]. +</P> +<H2>Programming in GF</H2> +<P> +GF is easy to learn by following the <A HREF="doc/gf-tutorial.html">tutorial</A>. You can write your +first translator in 15 minutes. +</P> +<P> +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: +</P> +<UL> +<LI>Haskell +<LI>Java +<LI>JavaScript +<LI>Prolog +<LI>Speech recognition: HTK/ATK, Nuance, JSGF +</UL> + +<P> +The GF programming language is high-level and advanced, featuring +</P> +<UL> +<LI>static type checking +<LI>higher-order functions +<LI>dependent types +<LI>pattern matching with data constructors and regular expressions +<LI>module system with multiple inheritance and parametrized modules +</UL> + +<H2>Libraries</H2> +<P> +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 <A HREF="lib/">GF resource grammar library</A> has +support for an increasing number of languages, currently including +</P> +<UL> +<LI>Arabic (partial) +<LI>Bulgarian +<LI>Catalan (partial) +<LI>Danish +<LI>English +<LI>Finnish +<LI>French +<LI>German +<LI>Hindi/Urdu (partial) +<LI><A HREF="http://www.interlingua.com/">Interlingua</A> +<LI>Italian +<LI>Norwegian bokmål +<LI>Russian +<LI>Spanish +<LI>Swedish +</UL> + +<P> +Adding a language to the resource library takes 3 to 9 +months - <A HREF="doc/projects.html">contributions</A> +are welcome! +</P> + +<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) --> +<!-- cmdline: txt2tags -thtml index-3.txt --> +</BODY></HTML> diff --git a/index-3.txt b/index-3.txt new file mode 100644 index 000000000..047edfdb7 --- /dev/null +++ b/index-3.txt @@ -0,0 +1,157 @@ + + + +%!postproc(html): "#BECE" "<center>" +%!postproc(html): "#ENCE" "</center>" +%!postproc(html): "#BESMALL" "<font size=-1>" +%!postproc(html): "#ENSMALL" "</font>" + +#BECE + +[doc/gf-logo.png] + +=Grammatical Framework= + +Version 3.0 + +June 2008 + +#ENCE + +``|`` [Demos demos/] +``|`` [Download download] +``|`` [Development download] +``|`` [Events doc/events.html] +``|`` [Libraries lib/] +``|`` [People doc/gf-people.html] +``|`` [Projects doc/projects.html] +``|`` [Publications doc/gf-tutorial.html] +``|`` [Reference doc/gf-refman.html] +``|`` [Tutorial doc/gf-tutorial.html] +``|`` + +#BESMALL + +==News== + +27 June 2008: release of GF 3.0 and a new web page; the old web page is +[here index-2.html]. + + +#ENSMALL + + +==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 +- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML +- a **natural language processing framework**, like LKB, XLE, Regulus +- a **categorial grammar formalism**, like ACG, CCG +- a **logical framework**, like Agda, Coq, Isabelle + + +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 +- [text translators ] +- [speech translators ] +- [natural-language interfaces ] +- [multilingual web pages ] +- [multilingual authoring systems ] +- [dialogue systems ] +- [language training systems ] +- [natural language resources ] + + +==Availability== + +GF is **open-source**, licensed under [GPL ] (the program) and [LGPL ] (the libraries). It +is available for +- [Linux ] +- [Mac OS X ] +- [Windows ] +- via compilation to [JavaScript ], almost any platform that has a web browser + + +==Projects== + +GF was born in 1998 at Xerox Research Centre Europe, Grenoble in the project +Multilingual Document Authoring. At Xerox, it was used for prototypes including +- restaurant phrase book in 6 languages +- database queries in 7 languages +- alarm system instructions in 5 languages +- medical drug descriptions in 2 languages + + +Later projects using GF and involving third parties include, in chronological order, +- GF-Alfa: natural language interface to formal proofs +- GF-KeY: authoring and translation of software specifications +- TALK: multilingual and multimodal spoken dialogue systems +- WebALT: multilingual generation of mathematical exercises (commercial project) +- MultiWiki: multilingual Wiki for restaurant reviews +- SALDO: Swedish morphological dictionary based on tools developed for GF + + +Academically, GF has been used in four [PhD theses ], and resulted in around +fifty [scientific publications ]. + + +==Programming in GF== + +GF is easy to learn by following the [tutorial doc/gf-tutorial.html]. 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 +- JavaScript +- Prolog +- 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 + + +==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 lib/] has +support for an increasing number of languages, currently including +- Arabic (partial) +- Bulgarian +- Catalan (partial) +- Danish +- English +- Finnish +- French +- German +- Hindi/Urdu (partial) +- [Interlingua http://www.interlingua.com/] +- Italian +- Norwegian bokmål +- Russian +- Spanish +- Swedish + + +Adding a language to the resource library takes 3 to 9 +months - [contributions doc/projects.html] +are welcome! + + + |