diff options
| author | peb <peb@ling.gu.se> | 2008-09-03 09:04:09 +0000 |
|---|---|---|
| committer | peb <peb@ling.gu.se> | 2008-09-03 09:04:09 +0000 |
| commit | 74826158cbe6ad87c0cdfaef7814820c547a3306 (patch) | |
| tree | 6915828802068d07ab67553eddfc5c037057a657 /src/server | |
| parent | cf00c0c2a9aa1e333a95f3cd31b243f64bbe7812 (diff) | |
new PGF output format: prolog syntax
* output a PGF grammar in prolog readable syntax
* variables in abstract syntax (hypotheses and lambda-abstractions)
are translated to unique logical variables
* PGF terms in concrete syntax are translated to more prolog-like terms
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions