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