At York, Tatsuru Matsushita's DPhil thesis "On the power of declarative
programming", includes a translation scheme between logic programs
in Prolog and functional programs in Haskell.
His thesis is available at
ftp://ftp.cs.york.ac.uk/pub/tatsuru/thesis.ps.gz
The translation scheme is also fully implemented, and available from
ftp://ftp.cs.york.ac.uk/pub/haskell/contrib/lp2fp.tar.gz
Regards,
Malcolm