From 6bbd4e423a7cda422a2e519453a41cef234506bd Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 16 May 2006 13:07:41 +0000 Subject: examples of dialogue system grammars --- examples/dialogue/ResGodis.gf | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 examples/dialogue/ResGodis.gf (limited to 'examples/dialogue/ResGodis.gf') diff --git a/examples/dialogue/ResGodis.gf b/examples/dialogue/ResGodis.gf new file mode 100644 index 000000000..f6d998d1b --- /dev/null +++ b/examples/dialogue/ResGodis.gf @@ -0,0 +1,18 @@ +resource ResGodis = open Prelude in { + + oper + bracket : Str -> Str = \s -> "[" ++ s ++ "]" ; + + app1 : Str -> Str -> Str = \f,x -> f ++ paren x ; + + apps : Str -> SS -> SS = \f,x -> ss (app1 f x.s) ; + + request : Str -> Str = app1 "request" ; + answer : Str -> Str = app1 "answer" ; + + req_ans : Str -> Str -> Str -> Str = \f,t,k -> + bracket (request f ++ "," ++ answer (app1 t k)) ; + +} + +-- [request(add_event), answer(event_to_store(meeting))] -- cgit v1.2.3