Sflv

1 definition found

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

  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.