diff options
Diffstat (limited to 'examples/dialogue/DialogueProlog.gf')
| -rw-r--r-- | examples/dialogue/DialogueProlog.gf | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/examples/dialogue/DialogueProlog.gf b/examples/dialogue/DialogueProlog.gf index 26e6e6157..6398ee6f3 100644 --- a/examples/dialogue/DialogueProlog.gf +++ b/examples/dialogue/DialogueProlog.gf @@ -7,6 +7,8 @@ concrete DialogueProlog of Dialogue = open ResProlog, Prelude in { lincat Move = SS ; Action = SS ; + Proposition = SS ; + Question = SS ; Kind = SS ; Object = SS ; Oper0 = SS ; @@ -15,9 +17,15 @@ concrete DialogueProlog of Dialogue = open ResProlog, Prelude in { lin MRequest a = a ; + MConfirm a = a ; --- ?? MAnswer a = a ; --- ?? + MIssue a = ss (bracket (app1 "ask" a.s)) ; --- ?? - MQuery k = ss (bracket (app1 "query" k.s)) ; --- + MYes = ss (bracket (app1 "answer" "yes")) ; + MNo = ss (bracket (app1 "answer" "no")) ; + MObject _ ob = ss (bracket (apps "answer" ob).s) ; + + QKind k = ss (app2 "q" "X" (app1 k.s "X")) ; AOper0 op = ss (bracket (request op.s)) ; AOper1 _ op x = ss (req_ans op.s op.x x.s) ; |