Functional programming plus unification. "Lazy" in the sense that expressions are reduced only if they are not unifiable. ["FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming", P.A. Subrahmanyam et al, in Logic Programming: Functions, Relations and equations, D. DeGroot et al eds, P-H 1986].
