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)