[Haskell-cafe] Logic programming in Haskell

Has anyone already tried to embed prolog-style logic programming as a Haskell library? Kind of like Schelog but for Haskell? I know about Curry, but I'd like a Haskell library rather than another language. Stefan