diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-17 21:04:54 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-17 21:04:54 +0000 |
| commit | 747eccf2df19fa85a09b72cd1786372367c21976 (patch) | |
| tree | 244af5e437267bc12bcba49e439952fc89924f2d /examples/dialogue/DialogueProlog.gf | |
| parent | cc0789034453f31bb86ad27030ec0549efa05e06 (diff) | |
some godis additions to dialogue
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) ; |