SASL pluSconditional 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)