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