John Darlington A. J. Field Helen Pull The Unification of Functional and Logic Languages. 37-70 1986 Logic Programming: Functions, Relations, and Equations db/books/collections/DeGrootL86.html#DarlingtonFP86