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

Try this search on Wikipedia, OneLook, Google

Nearby terms: Function Point Analysis « functor « funky « FUNLOG » FunnelWeb » funny money » furigana


Copyright Denis Howe 1985 General Business Directory.