为程式设计语言之一种，亦称命令式语言（imperative language）；此类程式语言只提供执行电脑功能的命令，因此程式师需将欲完成工作的过程逐步明确的用本类语言描述。一些较常见的程序语言有Basic, Pascal, C和Modula-2等。参【宣告语言】（declarative language）、【第三代语言】（third generation language）。