Harvey Abramson A Prological Definition of HASL: A Purely Functional Language with Unification-Based Conditional Binding Expressions. 73-129 1986 Logic Programming: Functions, Relations, and Equations db/books/collections/DeGrootL86.html#Abramson86