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