Embedding Prolog in Haskell (1999)

by J Spivey, S Seres
Venue:Department of Computer Science, University of Utrecht