diff options
Diffstat (limited to 'grammars/video/Shared/prologResource.gf')
| -rw-r--r-- | grammars/video/Shared/prologResource.gf | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/grammars/video/Shared/prologResource.gf b/grammars/video/Shared/prologResource.gf new file mode 100644 index 000000000..a527500e1 --- /dev/null +++ b/grammars/video/Shared/prologResource.gf @@ -0,0 +1,19 @@ +resource prologResource = { + +oper +app : Str -> Str -> Str = + \pred -> \arg -> + pred ++ "(" ++ arg ++ ")" ; +appHakeOne : Str -> Str = + \arg -> + "["++ arg ++ "]" ; +oper +--with single quotes +--app2 : Str -> Str -> Str -> Str = \pred -> \argH -> \argM -> pred ++ "(" ++ "'" ++ argH ++ ":" ++ argM ++ "'" ++ ")" ; +--without single quotes +--app2 : Str -> Str -> Str -> Str = \pred -> \argH -> \argM -> pred ++ "(" ++ argH ++ ":" ++ argM ++ ")" ; + +app3 : Str -> Str -> Str = \argH -> \argM -> argH ++ ":" ++ argM ; + + +} |
