It would be the equivalent to writing Java on top of Haskell. You wouldn't creat Java, you would be creating _a_ Java.
"Scheme" has many different dialects as well. Racket is _a_ Scheme, Edwin interprets MIT's version of Scheme, then there is Gambit Scheme. There are certainly other Schemes, and the implementation of Scheme on Haskell isn't going to be the same as the other dialects listed here.
There are quite a few examples of Prolog-to-Lisp interpreters, but no one would argue that any of these _are_ Prolog.