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@cs.chalmers.se