FUNLOG

FUNLOG

Functional programming plus unification. "Lazy" in the sensethat expressions are reduced only if they are not unifiable.

["FUNLOG: A Computational Model Integrating Logic Programmingand Functional Programming", P.A. Subrahmanyam et al, in LogicProgramming: Functions, Relations and Equations, D. DeGroot etal eds, P-H 1986].