Source : Free On-Line Dictionary of Computing

SFLV
     
        Unifies logic and functional programming.  SASL+LV with
        unification moved from actual/formal parameter matching to
        equational clauses.  "Static Analysis of Functional Programs
        with Logical Variables", G. Lindstrom in Programming Languages
        Implementation and Logic Programming, P. Deransart et al eds,
        LNCS 348, Springer 1988.