renamed Godis to Prolog ; added Fin

This commit is contained in:
aarne
2006-05-16 18:48:46 +00:00
parent e074720425
commit 800f6ee7e2
8 changed files with 36 additions and 7 deletions

View File

@@ -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))]