You can already have Prolog embedded in Haskell, using LogicT.

Here is the paper by Kiselyov: http://okmij.org/ftp/papers/LogicT.pdf