diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-16 18:48:46 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-16 18:48:46 +0000 |
| commit | 5082ebd0f4a0c4ba04aab54d05290e6141e44129 (patch) | |
| tree | 56ff9778acad14e39f424e759b7c3d6d7925395e /examples/dialogue/DialogueProlog.gf | |
| parent | ecf429c593b7b986b02429f653f313c4e3875821 (diff) | |
renamed Godis to Prolog ; added Fin
Diffstat (limited to 'examples/dialogue/DialogueProlog.gf')
| -rw-r--r-- | examples/dialogue/DialogueProlog.gf | 34 |
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" ; + + +} + |
