Harvey Abramson A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions. 3-35 1984 2 New Generation Comput. 1 db/journals/ngc/ngc2.html#Abramson84