blob: 511c80b7ed8bfc955462122d6e2ed70aadaf8165 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
-- File name system.Prolog.gf
concrete genSystemProlog of genSystem = generalProlog **
open prologResource in {
pattern
greet = "greet" ;
quit = "quit" ;
lin
ask q = {s = app "ask" q.s} ;
lin
---Language
change_language = {s = "change_language"} ;
language_alt = {s = "[" ++ "language" ++ "(" ++ "X" ++ ")" ++ "]" } ; -- hack!
---Actions
pattern
actionQ = "action" ;
lin
whQuestion f = {s = "X" ++ "^" ++ app f.s "X"} ;
altQuestion a1 a2 = {s = a1.s ++ a2.s};
--- Issue
issue i = {s = app "issue" i.s} ;
pattern
nil = "[]" ;
}
|
