Define function (p:prefix u p) that prepends string u on every element of a promise list s in racket. We can specify the prefix function as prefix(u, s) = {u v | v s}, where u v is string concatenation (string-append in Racket).