From 5082ebd0f4a0c4ba04aab54d05290e6141e44129 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 16 May 2006 18:48:46 +0000
Subject: renamed Godis to Prolog ; added Fin

---
 examples/dialogue/DialogueProlog.gf | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 examples/dialogue/DialogueProlog.gf

(limited to 'examples/dialogue/DialogueProlog.gf')

diff --git a/examples/dialogue/DialogueProlog.gf b/examples/dialogue/DialogueProlog.gf
new file mode 100644
index 000000000..30e397f0d
--- /dev/null
+++ b/examples/dialogue/DialogueProlog.gf
@@ -0,0 +1,34 @@
+--# -path=.:prelude
+
+concrete DialogueProlog of Dialogue = open ResProlog, Prelude in {
+
+  flags lexer=codelit ; unlexer=code ;
+
+  lincat
+    Move   = SS ;
+    Action = SS ;
+    Kind   = SS ;
+    Object = SS ;
+    Oper0  = SS ;
+    Oper1  = SS ;
+    Oper2  = SS ;
+
+  lin
+    MRequest a = a ;
+    MAnswer  a = a ; --- ??
+
+    MQuery k = ss (bracket (app1 "query" k.s)) ; ---
+
+    AOper0 op         = ss (bracket (request op.s)) ;
+    AOper1 k   op x   = ss (req_ans op.s k.s x.s) ; 
+    AOper2 k m op x y = 
+      ss (bracket (request op.s ++ "," ++ 
+        answer (app1 k.s x.s) ++ "," ++ answer (app1 m.s y.s))) ;
+
+    OAll = apps "all" ; 
+    OIndef = apps "indef" ;
+    ODef = apps "def" ;
+
+
+}
+
-- 
cgit v1.2.3