summaryrefslogtreecommitdiff
path: root/examples/dialogue/ResGodis.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-05-16 13:07:41 +0000
committeraarne <aarne@cs.chalmers.se>2006-05-16 13:07:41 +0000
commit6bbd4e423a7cda422a2e519453a41cef234506bd (patch)
treeedbc7cbd1071446c703af376d3e3dab5c321267c /examples/dialogue/ResGodis.gf
parente1ea20277cb19ef73e7380898942e4bb77cbd183 (diff)
examples of dialogue system grammars
Diffstat (limited to 'examples/dialogue/ResGodis.gf')
-rw-r--r--examples/dialogue/ResGodis.gf18
1 files changed, 18 insertions, 0 deletions
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))]