You are here: irt.org | FOLDOC | 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].
Nearby terms: Function Point Analysis « functor « funky « FUNLOG » FunnelWeb » funny money » furigana
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL