On implementing Prolog in functional programming (1984)

by Mats Carlsson
Venue:New Generation Computing