HASL

SASL[1] plus conditional unification.

"A Prological Definition of HASL, A Purely Functional Language with Unification Based Conditional Binding Expressions", H. Abramson in Logic Programming: Functions, Relations and Equations, Doug DeGroot et al eds, Prentice-Hall, 1986.