Re: Translations

On Tue, 7 Nov 2000, M. S. Poole wrote:

> Can anyone point me toward some reasearch that implements a translator
> from Prolog to Haskell?


You can have a look at mine and Koen Claessen's paper from this year's
Haskell workshop:

Koen Claessen, Peter Ljunglöf (2000): Typed Logical Variables in Haskell 

http://www.cs.chalmers.se/~peb/papper.html


Also Silvija Seres has some papers on translating Logic Programming to
Haskell:

http://web.comlab.ox.ac.uk/oucl/work/silvija.seres/


And Ralf Hinze has shown how to implement backtracking and the Prolog 
cut predicate efficiently in Haskell, from this year's ICFP:

Ralf Hinze (2000): Deriving Backtracking Monad Transformers

http://www.informatik.uni-bonn.de/~ralf/publications.html


cheers, Peter

  .   .  . .. ... ..... ....... .....................................
                     peter ljunglöf (f.d. bohlin): peb@xxxxxxxxxxxxxx