GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

documented Combinators

Browse Source
This commit is contained in:
aarne
2006-12-22 13:10:48 +00:00
parent 4d6a1d7bad
commit ea4ffdc148
7 changed files with 134 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
doc/old-news.html
View File

@@ -4,6 +4,38 @@
<h1>GF News 2004-2006</h1>
<p>
<i>October 13, 2006</i>.
PhD defence by Janna Khegai at Chalmers. Thesis
<A href="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">
Language engineering in Grammatical Framework (GF)</A>.
<p>
<i>June 22, 2006</i>.
Release of GF version 2.6. Highlights:
<ul>
<li> New parser (FCFG)
<li> Resource library version 1.0
</ul>
<p>
<i>March 29, 2006</i>.
<a href="doc/gf-reference.html">GF Quick Reference</a>. Also available in
<a href="doc/gf-reference.pdf">pdf</a>.
<p>
<i>June 21, 2006</i>. GF 2.5 released. Some highlights:
<ul>
<li> Treebank generation and reuse.
<li> Regular expression patterns.
<li> Resource Grammar Library v. 1.0 beta release.
</ul>
<i>January 25, 2006</i>.
<a href="http://www.dd.chalmers.se/~bojohan/exjobb/src/gf.el">Emacs mode for GF</a>,
written by Johan Bockgård.

2
examples/logic/ArithmEng.gf
View File

@@ -1,4 +1,4 @@
--# -path=.:mathematical:present:resource-1.0/api:prelude
--# -path=.:mathematical:present:api:prelude
concrete ArithmEng of Arithm = LogicEng **
open

40
index.html
View File

@@ -1,5 +1,5 @@
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html><head><title>GF Version 2.6</title></head>
<html><head><title>GF Version 2.7</title></head>
<body bgcolor="#ffffff" text="#000000">
@@ -9,9 +9,9 @@
<h1>Grammatical Framework</h1>
<h2>Version 2.6</h2>
<h2>Version 2.7</h2>
June 22, 2006.
December 22, 2006.
<p>
@@ -19,8 +19,6 @@ June 22, 2006.
<hr>
Shortcuts:
<a href=
"doc">Documentation</a>
|
@@ -60,33 +58,13 @@ Shortcuts:
<p>
<i>October 13, 2006</i>.
PhD defence by Janna Khegai at Chalmers. Thesis
<A href="http://www.cs.chalmers.se/~janna/Janna_Khegai_phd.pdf">
Language engineering in Grammatical Framework (GF)</A>.
<p>
<i>June 22, 2006</i>.
Release of GF version 2.6. Highlights:
<i>December 22, 2006</i>. GF 2.7 released. Some highlights:
<ul>
<li> New parser (FCFG)
<li> Resource library version 1.0
</ul>
<p>
<i>March 29, 2006</i>.
<a href="doc/gf-reference.html">GF Quick Reference</a>. Also available in
<a href="doc/gf-reference.pdf">pdf</a>.
<p>
<i>March 21, 2006</i>. GF 2.5 released. Some highlights:
<ul>
<li> Treebank generation and reuse.
<li> Regular expression patterns.
<li> Resource Grammar Library v. 1.0 beta release.
<li> JavaScript and VoiceXML generation.
<li> C generation.
<li> Overloading and new library APIs.
<li> New low-level format, called <tt>gfcc</tt>.
</ul>
See <a href="doc/gf-history.html">GF history</a> for more details.
Download from
@@ -95,7 +73,7 @@ Download from
<p>
<a href="doc/old-news.html">News before 2.5</a>.
<a href="doc/old-news.html">News before 2.7</a>.
</p><h2>What is GF?</h2>

10
lib/index.txt
View File

@@ -24,13 +24,15 @@ give some introduction to this idea.
This library covers basic linguistic structures of
different languages.
[Version 1.0 resource-1.0/doc] released 22 June 2006.
[Version 1.1 resource-1.0/doc] released 22 December 2006
(enhanced version of 1.0).
Covers Danish, English, Finnish, French, German, Italian, Norwegian,
Russian, Spanish, and Swedish.
[Version 0.9 resource/].
[Version 0.6 resource-0.6/]. Old version with 7 languages.
Two older versions are also available:
[Version 0.9 resource/]
and
[Version 0.6 resource-0.6/].

10
lib/resource-1.0/Makefile
View File

@@ -3,8 +3,8 @@ RTS=+RTS -M800M -K100M
RTSS=+RTS -M1000M -K100M
#may need this on amd64
#RTS=+RTS -M2000M -K200M
#RTSS=+RTS -M2000M -K200M
RTS=+RTS -M2000M -K200M
RTSS=+RTS -M2000M -K200M
GFCA=$(GF) -nocf
GFCC=$(GF) -nocf -make
@@ -47,9 +47,9 @@ langs:
echo "s ;; pm | wf langs.gfcm" | $(GFCA) -path=alltenses:prelude ../alltenses/Lang???.gfc $(RTSS)
api:
$(GFC) api/Constructors???.gf
$(GFC) api/Combinators???.gf
$(GFC) api/Symbolic???.gf
$(GFCC) api/Constructors???.gf
$(GFCC) api/Combinators???.gf
$(GFCC) api/Symbolic???.gf
cp -p api/*.gfc api/*.gfr ../api
present:

79
lib/resource-1.0/api/Combinators.gf
View File

@@ -1,7 +1,86 @@
--1 Combinators: a High-Level Syntax API
-- This module defines some "grammatical functions" that give shortcuts to
-- typical constructions. [``Constructors`` Constructors.html] and the
-- language-specific ``Paradigms`` modules are usually needed
-- to construct arguments of these functions.
incomplete resource Combinators = open Grammar in {
oper
--2 Predication
pred : overload {
pred : V -> NP -> Cl ;
pred : V2 -> NP -> NP -> Cl ;
pred : V3 -> NP -> NP -> NP -> Cl ;
pred : V -> NP -> NP -> Cl ;
pred : A -> NP -> Cl ;
pred : A2 -> NP -> NP -> Cl ;
pred : A -> NP -> NP -> Cl ;
pred : N -> NP -> Cl ;
pred : CN -> NP -> Cl ;
pred : NP -> NP -> Cl ;
pred : N -> NP -> NP -> Cl ;
pred : Adv -> NP -> Cl ;
pred : Prep -> NP -> NP -> Cl
} ;
--2 Function application
app : overload {
app : N -> NP ;
app : N2 -> NP -> NP ;
app : N3 -> NP -> NP -> NP ;
app : N2 -> NP -> NP -> NP ;
app : N2 -> N -> CN
} ;
--2 Coordination
coord : overload {
coord : Conj -> Adv -> Adv -> Adv ;
coord : Conj -> AP -> AP -> AP ;
coord : Conj -> NP -> NP -> NP ;
coord : Conj -> S -> S -> S ;
coord : DConj -> Adv -> Adv -> Adv ;
coord : DConj -> AP -> AP -> AP ;
coord : DConj -> NP -> NP -> NP ;
coord : DConj -> S -> S -> S ;
coord : Conj -> ListAdv -> Adv ;
coord : Conj -> ListAP -> AP ;
coord : Conj -> ListNP -> NP ;
coord : Conj -> ListS -> S ;
coord : DConj -> ListAdv -> Adv ;
coord : DConj -> ListAP -> AP ;
coord : DConj -> ListNP -> NP ;
coord : DConj -> ListS -> S
} ;
--2 Modification
mod : overload {
mod : A -> N -> CN ;
mod : AP -> CN -> CN ;
mod : AdA -> A -> AP ;
mod : Quant -> N -> NP ;
mod : Quant -> CN -> NP ;
mod : Predet -> N -> NP ;
mod : Numeral -> N -> NP
} ;
--2 Text append
-- This is not in ground API, because it would destroy parsing.
appendText : Text -> Text -> Text ;
--.
pred = overload {
pred : V -> NP -> Cl
= \v,np -> PredVP np (UseV v) ;

2
lib/resource-1.0/api/Symbolic.gf
View File

@@ -1,3 +1,5 @@
--1 Symbolic: Noun Phrases with mathematical symbols
incomplete resource Symbolic = open Symbol, Grammar in {
oper