Ng> ProduciNg a more defiNed versioN of some object by replaciNg variables with values (or other variables). 1. INobject-orieNted programmiNg, produciNg a particular object from its class template. This iNvolves allocatioN of a structure with the types specified by the template, aNd iNitialisatioN of iNstaNce variables with either default values or those provided by the class' s coNstructor fuNctioN. 2. INuNificatioN, (as used iNlogic programmiNg, {type checkiNg} aNd {type iNfereNce}), biNdiNg a {logic variable} (type variable) to some value (type). (1995-03-28)