From ecc132dccfc7617ed413f21ee37539475081f8ec Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 16 Sep 2004 14:47:18 +0000 Subject: Karin C's example --- grammars/video/System/genSystemProlog.gf | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 grammars/video/System/genSystemProlog.gf (limited to 'grammars/video/System/genSystemProlog.gf') diff --git a/grammars/video/System/genSystemProlog.gf b/grammars/video/System/genSystemProlog.gf new file mode 100644 index 000000000..511c80b7e --- /dev/null +++ b/grammars/video/System/genSystemProlog.gf @@ -0,0 +1,32 @@ +-- File name system.Prolog.gf + +concrete genSystemProlog of genSystem = generalProlog ** + open prologResource in { + + +pattern +greet = "greet" ; +quit = "quit" ; + +lin +ask q = {s = app "ask" q.s} ; + +lin +---Language +change_language = {s = "change_language"} ; +language_alt = {s = "[" ++ "language" ++ "(" ++ "X" ++ ")" ++ "]" } ; -- hack! + +---Actions +pattern +actionQ = "action" ; + +lin +whQuestion f = {s = "X" ++ "^" ++ app f.s "X"} ; +altQuestion a1 a2 = {s = a1.s ++ a2.s}; + +--- Issue +issue i = {s = app "issue" i.s} ; + +pattern +nil = "[]" ; +} -- cgit v1.2.3