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, Doug DeGroot et al eds, Prentice-Hall, 1986.