From 5082ebd0f4a0c4ba04aab54d05290e6141e44129 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 16 May 2006 18:48:46 +0000 Subject: renamed Godis to Prolog ; added Fin --- examples/dialogue/AgendaFin.gf | 15 +++++++++++++++ examples/dialogue/AgendaGodis.gf | 15 --------------- examples/dialogue/AgendaProlog.gf | 15 +++++++++++++++ examples/dialogue/DialogueFin.gf | 4 ++++ examples/dialogue/DialogueGodis.gf | 34 ---------------------------------- examples/dialogue/DialogueProlog.gf | 34 ++++++++++++++++++++++++++++++++++ examples/dialogue/README | 4 ++-- examples/dialogue/ResGodis.gf | 18 ------------------ examples/dialogue/ResProlog.gf | 18 ++++++++++++++++++ examples/dialogue/WeekdayFin.gf | 10 ++++++++++ examples/dialogue/WeekdayGodis.gf | 10 ---------- examples/dialogue/WeekdayProlog.gf | 10 ++++++++++ 12 files changed, 108 insertions(+), 79 deletions(-) create mode 100644 examples/dialogue/AgendaFin.gf delete mode 100644 examples/dialogue/AgendaGodis.gf create mode 100644 examples/dialogue/AgendaProlog.gf create mode 100644 examples/dialogue/DialogueFin.gf delete mode 100644 examples/dialogue/DialogueGodis.gf create mode 100644 examples/dialogue/DialogueProlog.gf delete mode 100644 examples/dialogue/ResGodis.gf create mode 100644 examples/dialogue/ResProlog.gf create mode 100644 examples/dialogue/WeekdayFin.gf delete mode 100644 examples/dialogue/WeekdayGodis.gf create mode 100644 examples/dialogue/WeekdayProlog.gf (limited to 'examples') diff --git a/examples/dialogue/AgendaFin.gf b/examples/dialogue/AgendaFin.gf new file mode 100644 index 000000000..fac8220a4 --- /dev/null +++ b/examples/dialogue/AgendaFin.gf @@ -0,0 +1,15 @@ +--# -path=.:present:prelude + +concrete AgendaFin of Agenda = + DialogueFin, WeekdayFin ** open LangFin, ParadigmsFin in { + + lin + Day = UseN (regN "päivä") ; + Meeting = UseN (regN "kokous") ; + Add = dirV3 (regV "lisätä") translative ; + Remove = dirV2 (regV "poistaa") ; + Interrupt = regV "keskeyttää" ; + + day = UsePN ; + +} diff --git a/examples/dialogue/AgendaGodis.gf b/examples/dialogue/AgendaGodis.gf deleted file mode 100644 index 16acad73a..000000000 --- a/examples/dialogue/AgendaGodis.gf +++ /dev/null @@ -1,15 +0,0 @@ ---# -path=.:prelude - -concrete AgendaGodis of Agenda = - DialogueGodis, WeekdayGodis ** open ResGodis, Prelude in { - - lin - Day = ss "day" ; - Meeting = ss "meeting" ; - Add = ss "add" ; - Remove = ss "remove" ; - Interrupt = ss "interrupt" ; - - day = apps "weekday" ; - -} diff --git a/examples/dialogue/AgendaProlog.gf b/examples/dialogue/AgendaProlog.gf new file mode 100644 index 000000000..060086812 --- /dev/null +++ b/examples/dialogue/AgendaProlog.gf @@ -0,0 +1,15 @@ +--# -path=.:prelude + +concrete AgendaProlog of Agenda = + DialogueProlog, WeekdayProlog ** open ResProlog, Prelude in { + + lin + Day = ss "day" ; + Meeting = ss "meeting" ; + Add = ss "add" ; + Remove = ss "remove" ; + Interrupt = ss "interrupt" ; + + day = apps "weekday" ; + +} diff --git a/examples/dialogue/DialogueFin.gf b/examples/dialogue/DialogueFin.gf new file mode 100644 index 000000000..d2de99587 --- /dev/null +++ b/examples/dialogue/DialogueFin.gf @@ -0,0 +1,4 @@ +--# -path=.:present:prelude + +concrete DialogueFin of Dialogue = DialogueI with + (Lang = LangFin) ; diff --git a/examples/dialogue/DialogueGodis.gf b/examples/dialogue/DialogueGodis.gf deleted file mode 100644 index fd39b5cc3..000000000 --- a/examples/dialogue/DialogueGodis.gf +++ /dev/null @@ -1,34 +0,0 @@ ---# -path=.:prelude - -concrete DialogueGodis of Dialogue = open ResGodis, 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" ; - - -} - 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" ; + + +} + diff --git a/examples/dialogue/README b/examples/dialogue/README index 2a6eaef01..4bcba889c 100644 --- a/examples/dialogue/README +++ b/examples/dialogue/README @@ -2,13 +2,13 @@ Dialogue system grammar examples. AR 16/5/2006 -Files (for X = Eng, Fre, Godis, Swe): +Files (for X = Eng, Fin, Fre, Prolog, Swe): Dialogue.gf -- base dialogue grammar DialogueX.gf -- implementation instance DialogueI.gf -- implementation functor - ResGodis.gf -- help constructs for Prolog terms + ResProlog.gf -- help constructs for Prolog terms Weekday.gf -- untility grammar with weekdays WeekdayX.gf diff --git a/examples/dialogue/ResGodis.gf b/examples/dialogue/ResGodis.gf deleted file mode 100644 index f6d998d1b..000000000 --- a/examples/dialogue/ResGodis.gf +++ /dev/null @@ -1,18 +0,0 @@ -resource ResGodis = open Prelude in { - - oper - bracket : Str -> Str = \s -> "[" ++ s ++ "]" ; - - app1 : Str -> Str -> Str = \f,x -> f ++ paren x ; - - apps : Str -> SS -> SS = \f,x -> ss (app1 f x.s) ; - - request : Str -> Str = app1 "request" ; - answer : Str -> Str = app1 "answer" ; - - req_ans : Str -> Str -> Str -> Str = \f,t,k -> - bracket (request f ++ "," ++ answer (app1 t k)) ; - -} - --- [request(add_event), answer(event_to_store(meeting))] diff --git a/examples/dialogue/ResProlog.gf b/examples/dialogue/ResProlog.gf new file mode 100644 index 000000000..5ecb1f3c0 --- /dev/null +++ b/examples/dialogue/ResProlog.gf @@ -0,0 +1,18 @@ +resource ResProlog = open Prelude in { + + oper + bracket : Str -> Str = \s -> "[" ++ s ++ "]" ; + + app1 : Str -> Str -> Str = \f,x -> f ++ paren x ; + + apps : Str -> SS -> SS = \f,x -> ss (app1 f x.s) ; + + request : Str -> Str = app1 "request" ; + answer : Str -> Str = app1 "answer" ; + + req_ans : Str -> Str -> Str -> Str = \f,t,k -> + bracket (request f ++ "," ++ answer (app1 t k)) ; + +} + +-- [request(add_event), answer(event_to_store(meeting))] diff --git a/examples/dialogue/WeekdayFin.gf b/examples/dialogue/WeekdayFin.gf new file mode 100644 index 000000000..b150c2872 --- /dev/null +++ b/examples/dialogue/WeekdayFin.gf @@ -0,0 +1,10 @@ +concrete WeekdayFin of Weekday = open LangFin, ParadigmsFin in { + + lincat + WDay = PN ; + + lin + Mon = mkPN (regN "maanantai") ; + Tue = mkPN (regN "tiistai") ; + +} diff --git a/examples/dialogue/WeekdayGodis.gf b/examples/dialogue/WeekdayGodis.gf deleted file mode 100644 index 48d07b99c..000000000 --- a/examples/dialogue/WeekdayGodis.gf +++ /dev/null @@ -1,10 +0,0 @@ -concrete WeekdayGodis of Weekday = open ResGodis, Prelude in { - - lincat - WDay = SS ; - - lin - Mon = ss "monday" ; - Tue = ss "tuesday" ; - -} diff --git a/examples/dialogue/WeekdayProlog.gf b/examples/dialogue/WeekdayProlog.gf new file mode 100644 index 000000000..384484cce --- /dev/null +++ b/examples/dialogue/WeekdayProlog.gf @@ -0,0 +1,10 @@ +concrete WeekdayProlog of Weekday = open ResProlog, Prelude in { + + lincat + WDay = SS ; + + lin + Mon = ss "monday" ; + Tue = ss "tuesday" ; + +} -- cgit v1.2.3