john.j.camilleri
b5e8d06fba
Syntax editor: remove beta label
2013-01-11 11:38:45 +00:00
hallgren
a8f281491c
partial evaluator: fix token glueing bug
...
"a"+("b"++"c") was simplified to "bb"++"c" instead of "ab"++c.
2013-01-11 15:14:42 +00:00
john.j.camilleri
28020fdf80
GFEP: update readme for 1.5.2 release
2013-01-11 10:18:13 +00:00
john.j.camilleri
625430fa9c
GFEP: remove doc makefile, updated index.html
2013-01-10 16:19:27 +00:00
john.j.camilleri
fb644d57b7
GFEP: remove doc images and include redirection file (.htaccess)
2013-01-10 10:41:01 +00:00
hallgren
f2751ff9e1
Fixes for minibar offline
...
Tested it in Firefox 18 (which has the new Ionmonkey JavaScript engine).
Still get stack overflows.
2013-01-09 16:44:18 +00:00
hallgren
1497fd863a
PGF service: new command: download
...
This makes it possible to download PGF files from servers where the PGF service
is installed.
I am also considering making commmand=download the default instead of
command=grammar.
2013-01-09 13:28:45 +00:00
kr.angelov
580e443a5e
fix warnings in pgf-parse.c
2013-01-08 12:53:49 +00:00
peter.ljunglof
f74155ef6a
PGF installation instructions for Mac OSX
2013-01-08 10:23:25 +00:00
peter.ljunglof
49022f5849
Made meta probs an optional argument instead of hard-coded in pgf-translate
2013-01-08 10:20:46 +00:00
peter.ljunglof
599b51830f
New PGF utility: pgf-parse
2013-01-08 10:19:53 +00:00
kr.angelov
9b78da5357
now the Python binding has an alternative representation for abstract trees which is composed of Python objects. The new representation is not integrated with the core runtime yet
2013-01-07 15:11:12 +00:00
kr.angelov
2c169406fc
a new reasoner in the C runtime. It supports tabling which makes it decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
2013-01-07 12:50:32 +00:00
kr.angelov
cade578d04
bugfix in the strings library from the C runtime
2012-12-27 21:18:46 +00:00
Nikita Frolov
67380fa398
RG and Phrasebook fixes
...
- added a paradigm for alternative plurals
- fixed usage of alternative plurals in Numerals
- added a distinction between numerals and posessive pronouns
- verb omission and appropriate cases in some uses of to be/to have
- fixed declination of personal names
- added a gender parameter to pronouns (similar to Polish RG)
- vowel insertion before short adjective suffix
- don't generate short forms for relative adjectives (might need lexicon update)
- minor Phrasebook fixes
2012-12-27 21:04:26 +00:00
aarne
4eef06e38e
started GF FAQ; not yet publishable
2012-12-28 10:57:46 +00:00
hallgren
12dec2503d
bug fix in the new partial evaluator
...
It can leave wildcard tables in their origial form, but it easy to handle
them in the unfactor function in GeneratePMCFG.
2012-12-20 16:41:43 +00:00
aarne
5ff33f47be
added alltenses to the default search path (just like prelude)
2012-12-20 16:05:34 +00:00
hallgren
d968503d90
PGFService.hs: code duplication reduction
2012-12-20 00:15:18 +00:00
hallgren
ece3e33c52
partial evaluator bug fix
...
It failed to delay table selection when the selector contains a run-time
variable, causing "gf: Prelude.(!!): index too large" instead.
Also:
+ Show better source locations on unexpected errors, to aid bug hunting.
+ Removed unused SourceGrammar argument to value2term.
2012-12-19 23:12:37 +00:00
hallgren
b4207d1b00
GF.Grammar.Lookup: new function lookupResDefLoc
...
It's like lookupResDef but it includes a source location in the output.
2012-12-19 23:08:56 +00:00
kr.angelov
75696808a7
bugfix: the linearizer should not generate extra space at the end of the sentence
2012-12-19 11:18:34 +00:00
kr.angelov
87360ccc34
bugfix for linearization of metavariables at the root of a tree
2012-12-19 10:03:05 +00:00
kr.angelov
a28ccc965c
rename linearize.{h/c} to linearizer.{h/c} which follows the convention used in parser.c and reasoner.c
2012-12-19 09:17:24 +00:00
kr.angelov
490a3f2286
a major reimplementation of the linearizer in the C runtime
2012-12-19 09:07:05 +00:00
kr.angelov
ff49d21d13
fixed accidental bug in pgf-parse.c
2012-12-18 15:42:04 +00:00
hallgren
c3beefba47
partial evaluator bug fix
...
Int was missing from the list of predefined canonical constants.
2012-12-18 13:03:20 +00:00
kr.angelov
403420be2b
the C runtime now can read abstract expressions with literals and meta variables
2012-12-18 12:29:30 +00:00
normundsg
cf0d94c1b0
Some fixes to the Russian Phrasebook
2012-12-17 09:57:13 +00:00
kr.angelov
d12c604f9a
debugging infrastructure in the reasoner
2012-12-14 21:25:00 +00:00
kr.angelov
16a2c38f38
bugfix for the reasoner in the C runtime
2012-12-14 21:24:17 +00:00
kr.angelov
8ec7ecacca
a bit more flexible API for parsing in Python
2012-12-14 16:00:52 +00:00
kr.angelov
20aaa4a989
The first prototype for exhaustive generation in the C runtime. The trees are always listed in decreasing probability order. There is also an API for generation from Python
2012-12-14 15:32:49 +00:00
hallgren
9ab3a6034d
Add language extension for ghc<7.4
...
FlexibleInstances does not imply TypeSynonymInstances, apparently.
2012-12-14 14:21:46 +00:00
hallgren
d7e3c869c2
More work on the new partial evaluator
...
The work done by the partial evaluator is now divied in two stages:
- A static "term traversal" stage that happens only once per term and uses
only statically known information. In particular, the values of lambda bound
variables are unknown during this stage. Some tables are transformed to
reduce the cost of pattern matching.
- A dynamic "function application" stage, where function bodies can be
evaluated repeatedly with different arguments, without the term traversal
overhead and without recomputing statically known information.
Also the treatment of predefined functions has been reworked to take advantage
of the staging and better handle partial applications.
2012-12-14 14:00:21 +00:00
kr.angelov
f7a5eb0df1
bugfix in the lexer from the C runtime. the input sentence doesn't have to terminate with whitespace
2012-12-13 16:45:44 +00:00
kr.angelov
0f0b7158c9
added simple error handling in the Python test
2012-12-13 16:44:39 +00:00
kr.angelov
75c544027b
added a simple test for the Python binding
2012-12-13 16:19:56 +00:00
kr.angelov
836b953b9d
an initial API for parsing and linearization from Python
2012-12-13 15:39:07 +00:00
kr.angelov
14e721dda9
a top-level API for parsing in the C runtime
2012-12-13 14:44:33 +00:00
kr.angelov
68249a11d2
bugfix: the outside probability of a PgfItemConts must always be initialized to zero
2012-12-13 11:11:45 +00:00
kr.angelov
2dc8236170
bugfix: pgf_read_expr no longer requires a semicolon at the end of an abstract expression
2012-12-13 11:09:26 +00:00
kr.angelov
0891ef3f0f
an initial Python binding to the C runtime
2012-12-12 11:29:39 +00:00
kr.angelov
aa13090b66
started an official API to the C runtime
2012-12-12 11:25:58 +00:00
hallgren
5e091d2e3d
partial evaluator work
...
* Evaluate operators once, not every time they are looked up
* Remember the list of parameter values instead of recomputing it from the
pattern type every time a table selection is made.
* Quick fix for partial application of some predefined functions.
2012-12-11 15:37:41 +00:00
john.j.camilleri
2623925e67
Syntax editor: unwrap feature
2012-12-11 15:09:16 +00:00
john.j.camilleri
6ef74e13d6
Syntax editor: link to about page
2012-12-11 09:48:44 +00:00
john.j.camilleri
ba3a497e41
Syntax editor: add about.html (and a Makefile for generating it)
2012-12-11 09:42:57 +00:00
kr.angelov
5779887f96
bugfix for robust parsing with multi-word units
2012-12-11 12:57:22 +00:00
hallgren
93da60fa04
GF home page: link to the Resource Grammar Library coverage map by Tommi Nieminen
2012-12-10 15:17:55 +00:00
