A programming language that requires programming discipline, such as C/C++, Java, COBOL, ... For a procedural vs. non-procedural language example, see non-procedural language.