/* simple predicates called from the embedded foreign language demonstration */

((run forever)(append X Y Z)(fail))

((trace it)(tq ((append X Y (a b c))(p query X Y ok)(fail))))

((jump out)(emb_read it)(abort))

((emb_read it)(flush stdin)(p input please >)(r X)(p thanks for the X)(pp))

((good bye)(p bye from fril)(exit 0))

((append () L L ))
((append (H|T) L (H|R)) (append T L R))

((reverse () ()))
((reverse (H|T) R)(reverse T R1)(append R1 (H) R))

((stat it) (statistics))