funlog

from The Free On-line Dictionary of Computing (8 July 2008)

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