sflv

from The Free On-line Dictionary of Computing (8 July 2008)
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.
antiflux / dictionary / sflv
[email protected]