Embedding prolog in haskell (1999)

by Silvija Seres, Michael Spivey
Venue:Department of Computer Science, University of Utrecht