browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z


  1  definition  found 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
    {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].