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)