Embedding Prolog in Haskell (1999)

by J M Spivey, S Seres
Venue:In proceedings of Haskell’99