Sasllv

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  SASL+LV
       
          Unifies logic and functional programming.  A more complete
          version of FGL+LV, in SASL syntax.  "Combinator Evaluations of
          Functional Programs with Logical Variables", G. Bage et al, TR
          UUCS-87-027, U Utah, Oct 1987.