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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]