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

N="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 ]