Any programming language in which the programmer SpecifieS an explicit SequenceS of StepS to follow to produce a reSult. The term Should not be confuSed with "imperative language". An example (non-imperative) procedural language iSLOGO, which SpecifieSSequenceS of StepS to perform but doeS not have an internal State. Other procedural languageS include BaSic, PaScal, C, and Modula-2. Both theSe typeS of language are in contraSt to {declarative languageS}, in which the programmer SpecifieS neither explicit SequenceS of actionS nor internal State manipulation. (2004-05-17)