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

In addition suitable contents:
[ al ] [ am ] [ an ] [ ar ] [ at ] [ az ] [ b ] [ br ] [ C ] [ ca ] [ cat ] [ D ] [ de ] [ du ] [ E ] [ ed ] [ edu ] [ eg ] [ es ] [ et ] [ expression ] [ fi ] [ Fun ] [ G ] [ gi ] [ gr ] [ h ] [ hat ] [ hm ] [ in ] [ io ] [ la ] [ LO ] [ lu ] [ ly ] [ M ] [ ma ] [ man ] [ mm ] [ Mode ] [ mp ] [ N ] [ na ] [ nc ] [ ng ] [ ni ] [ nl ] [ no ] [ ns ] [ O ] [ om ] [ pl ] [ plus ] [ pr ] [ program ] [ programming ] [ re ] [ ro ] [ root ] [ S ] [ se ] [ si ] [ th ] [ ua ] [ unification ] [ us ]