mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
started new forthcoming web page
This commit is contained in:
aarne
184
index-3.html
Normal file
184
index-3.html
Normal file
@@ -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>
|
||||||
157
index-3.txt
Normal file
157
index-3.txt
Normal file
@@ -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!
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
Reference in New Issue
Block a user