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)