summaryrefslogtreecommitdiff
path: root/examples/dialogue/DialogueProlog.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-05-16 18:48:46 +0000
committeraarne <aarne@cs.chalmers.se>2006-05-16 18:48:46 +0000
commit5082ebd0f4a0c4ba04aab54d05290e6141e44129 (patch)
tree56ff9778acad14e39f424e759b7c3d6d7925395e /examples/dialogue/DialogueProlog.gf
parentecf429c593b7b986b02429f653f313c4e3875821 (diff)
renamed Godis to Prolog ; added Fin
Diffstat (limited to 'examples/dialogue/DialogueProlog.gf')
-rw-r--r--examples/dialogue/DialogueProlog.gf34
1 files changed, 34 insertions, 0 deletions
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" ;
+
+
+}
+