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].