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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
