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)