diff options
Diffstat (limited to 'examples/phrasebook/doc-phrasebook.txt')
| -rw-r--r-- | examples/phrasebook/doc-phrasebook.txt | 42 |
1 files changed, 26 insertions, 16 deletions
diff --git a/examples/phrasebook/doc-phrasebook.txt b/examples/phrasebook/doc-phrasebook.txt index b6b4588bd..60558b535 100644 --- a/examples/phrasebook/doc-phrasebook.txt +++ b/examples/phrasebook/doc-phrasebook.txt @@ -142,23 +142,10 @@ Grammar testing -=Ontology= - -The abstract syntax defines the **ontology** behind the phrasebook. -Some explanations can be found in the -[ontology document Ontology.html], which is produced from the -abstract syntax files -[``Sentences.gf`` http://code.haskell.org/gf/examples/phrasebook/Sentences.gf] -and -[``Words.gf`` http://code.haskell.org/gf/examples/phrasebook/Words.gf] -by ``make doc``. - - - - - =Files= +==Grammars== + ``Sentences``: general syntactic structures implementable in a uniform way. Concrete syntax via the functor ``SencencesI``. @@ -183,8 +170,31 @@ Here is the module structure as produced in GF by > ! dot -Tpng _gfdepgraph.dot >pgraph.png ``` -[npgraph.png] +[pgraph.png] + + +==Ontology== + +The abstract syntax defines the **ontology** behind the phrasebook. +Some explanations can be found in the +[ontology document Ontology.html], which is produced from the +abstract syntax files +[``Sentences.gf`` http://code.haskell.org/gf/examples/phrasebook/Sentences.gf] +and +[``Words.gf`` http://code.haskell.org/gf/examples/phrasebook/Words.gf] +by ``make doc``. + + + +==Run-time system and user interface== +The phrasebook uses +the +[PGF server http://code.google.com/p/grammatical-framework/wiki/LaunchWebDemos] +written in Haskell and the +[minibar library http://www.cse.chalmers.se/~hallgren/minibar/about.html] +written in JavaScript. Since the sources of these systems are available, anyone can build the phrasebook +locally on her own computer. =Effort and cost= |