Source : Free On-Line Dictionary of Computing

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.