SFLV(ID:1434/sfl002)

Unifies logic and functional programming. SASL+LV with unification moved from actual/formal parameter matching to equational clauses.

Structures:
References:
  • Lindstrom, G. "Static Analysis of Functional Programs with Logical Variables" view details
          in Programming Languages Implementation and Logic Programming, P. Deransart et al eds, LNCS 348, Springer 1988 view details