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