(Or "imperative language"). Used in contrast to declarative language to describe a language where the programmer specifies an explicit sequences of steps to follow to produce a result. Some common examples of procedural languages include Basic, Pascal, C and Modula-2.