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.