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/GF/Infra | |
| 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/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 515f923f2..ed8551957 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -84,6 +84,8 @@ data OutputFormat = FmtPGF | FmtJavaScript | FmtHaskell | FmtHaskell_GADT + | FmtProlog + | FmtProlog_Abs | FmtBNF | FmtSRGS_XML | FmtSRGS_XML_NonRec @@ -393,9 +395,9 @@ optDescr = Option [] ["gfo-dir"] (ReqArg gfoDir "DIR") "Directory to put .gfo files in (default = '.').", Option ['f'] ["output-format"] (ReqArg outFmt "FMT") (unlines ["Output format. FMT can be one of:", - "Multiple concrete: pgf (default), gar, js, ...", + "Multiple concrete: pgf (default), gar, js, prolog, ...", "Single concrete only: cf, bnf, lbnf, gsl, srgs_xml, srgs_abnf, ...", - "Abstract only: haskell, ..."]), + "Abstract only: haskell, prolog_abs, ..."]), Option [] ["sisr"] (ReqArg sisrFmt "FMT") (unlines ["Include SISR tags in generated speech recognition grammars.", "FMT can be one of: old, 1.0"]), @@ -444,6 +446,8 @@ outputFormats = ("js", FmtJavaScript), ("haskell", FmtHaskell), ("haskell_gadt", FmtHaskell_GADT), + ("prolog", FmtProlog), + ("prolog_abs", FmtProlog_Abs), ("bnf", FmtBNF), ("srgs_xml", FmtSRGS_XML), ("srgs_xml_nonrec", FmtSRGS_XML_NonRec), |