From 747eccf2df19fa85a09b72cd1786372367c21976 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 17 May 2006 21:04:54 +0000 Subject: some godis additions to dialogue --- examples/dialogue/DialogueProlog.gf | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'examples/dialogue/DialogueProlog.gf') 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) ; -- cgit v1.2.3