From 74826158cbe6ad87c0cdfaef7814820c547a3306 Mon Sep 17 00:00:00 2001 From: peb Date: Wed, 3 Sep 2008 09:04:09 +0000 Subject: 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 --- src/GF/Compile/Export.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/GF/Compile/Export.hs') diff --git a/src/GF/Compile/Export.hs b/src/GF/Compile/Export.hs index f3e775ccf..bd4f88df4 100644 --- a/src/GF/Compile/Export.hs +++ b/src/GF/Compile/Export.hs @@ -5,6 +5,7 @@ import PGF.Data (PGF(..)) import PGF.Raw.Print (printTree) import PGF.Raw.Convert (fromPGF) import GF.Compile.GFCCtoHaskell +import GF.Compile.GFCCtoProlog import GF.Compile.GFCCtoJS import GF.Infra.Option import GF.Speech.CFG @@ -32,6 +33,8 @@ exportPGF opts fmt pgf = FmtJavaScript -> multi "js" pgf2js FmtHaskell -> multi "hs" (grammar2haskell name) FmtHaskell_GADT -> multi "hs" (grammar2haskellGADT name) + FmtProlog -> multi "pl" grammar2prolog + FmtProlog_Abs -> multi "pl" grammar2prolog_abs FmtBNF -> single "bnf" bnfPrinter FmtSRGS_XML -> single "grxml" (srgsXmlPrinter sisr) FmtSRGS_XML_NonRec -> single "grxml" srgsXmlNonRecursivePrinter -- cgit v1.2.3