Re: Translations

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