GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Changes to the prolog output format

Browse Source
This commit is contained in:
peb
2008-09-25 07:32:39 +00:00
parent ba321be3ff
commit b5ae83f899
1 changed files with 17 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
src/GF/Compile/GFCCtoProlog.hs
View File

@@ -22,8 +22,9 @@ import Data.Char (isAlphaNum, isAsciiLower, isAsciiUpper, ord)
import Data.List (isPrefixOf)
grammar2prolog, grammar2prolog_abs :: PGF -> String
grammar2prolog = encodeUTF8 . foldr (++++) [] . pgf2clauses
grammar2prolog_abs = encodeUTF8 . foldr (++++) [] . pgf2clauses_abs
-- Most prologs have problems with UTF8 encodings, so we skip that:
grammar2prolog = {- encodeUTF8 . -} foldr (++++) [] . pgf2clauses
grammar2prolog_abs = {- encodeUTF8 . -} foldr (++++) [] . pgf2clauses_abs
pgf2clauses :: PGF -> [String]
@@ -125,7 +126,20 @@ instance PLPrint Expr where
Equ patterns result <- eqs]
instance PLPrint Term where
plp (S terms) = plList (map plp terms)
plp (S terms) = plTerm "s" [plp terms]
plp (C n) = plTerm "c" [show n]
plp (K tokn) = plTerm "k" [plp tokn]
plp (FV trms) = plTerm "fv" [plp trms]
plp (P t1 t2) = plTerm "p" [plp t1, plp t2]
plp (W s trm) = plTerm "w" [plp s, plp trm]
plp (R terms) = plTerm "r" [plp terms]
plp (F oper) = plTerm "f" [plp oper]
plp (V n) = plTerm "v" [show n]
plp (TM str) = plTerm "tm" [plp str]
{-- more prolog-like syntax for PGF terms, but also more difficult to handle:
instance PLPrint Term where
plp (S terms) = plp terms
plp (C n) = show n
plp (K token) = plp token
plp (FV terms) = prCurlyList (map plp terms)
@@ -135,19 +149,6 @@ instance PLPrint Term where
plp (F oper) = plTerm "f" [plp oper]
plp (V n) = plTerm "arg" [show n]
plp (TM str) = plTerm "meta" [plp str]
{-- alternative prolog syntax for PGF terms:
instance PLPrint Term where
plp (R terms) = plTerm "r" [plp terms]
plp (P t1 t2) = plTerm "p" [plp t1, plp t2]
plp (S terms) = plTerm "s" [plp terms]
plp (K tokn) = plTerm "k" [plp tokn]
plp (V n) = plTerm "v" [show n]
plp (C n) = plTerm "c" [show n]
plp (F oper) = plTerm "f" [plp oper]
plp (FV trms) = plTerm "fv" [plp trms]
plp (W s trm) = plTerm "w" [plp s, plp trm]
plp (TM str) = plTerm "tm" [plp str]
--}
instance PLPrint CId where