Source : Free On-Line Dictionary of Computing

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