From 5082ebd0f4a0c4ba04aab54d05290e6141e44129 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 16 May 2006 18:48:46 +0000 Subject: renamed Godis to Prolog ; added Fin --- examples/dialogue/ResProlog.gf | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 examples/dialogue/ResProlog.gf (limited to 'examples/dialogue/ResProlog.gf') diff --git a/examples/dialogue/ResProlog.gf b/examples/dialogue/ResProlog.gf new file mode 100644 index 000000000..5ecb1f3c0 --- /dev/null +++ b/examples/dialogue/ResProlog.gf @@ -0,0 +1,18 @@ +resource ResProlog = 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