hasl

from The Free On-line Dictionary of Computing (8 July 2008)

HASL

   <language> {SASL} 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, D. DeGroot et al eds, P-H 1986].

   (1996-08-21)