DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   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)