Gert Smolka FRESH: A Higher-Order Language With Unification and Multiple Results. 469-524 1986 Logic Programming: Functions, Relations, and Equations db/books/collections/DeGrootL86.html#Smolka86