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 is LOGO, which specifies sequences 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)