Can anyone point me toward some reasearch that implements a translator from Prolog to Haskell? Mark Poole
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
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
Hi All,
Can anyone point me toward some reasearch that implements a translator from Prolog to Haskell?
I happen to have a printed copy of 'Relating Logic Programming to Functional Programming' an M.Sc (or possibly Ph.D) thesis by Mark J. Wielaard, in which a working translator from Mercury to Haskell is described. Examples in the thesis include the different modes of append, quicksort etc. Whether 'real world' apps with I/O work remains to be seen however... I have no idea whether the source is available. Half an hour of web searching turned up nothing - not even an email address - but maybe somebody could mail his supervisor, prof. Krzysztof Apt at cwi.nl (his login name is apt) Hope this helps, Jan de Wit
participants (4)
-
Jan de Wit -
M. S. Poole -
Malcolm Wallace -
Peter Ljunglof