renamed Godis to Prolog ; added Fin

1 files changed, 18 insertions, 0 deletions

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))]