指一种程式语言，其需要程式设计训练和资料处理知识，才能妥当安排陈述的工作顺序以完成程式。现今的高级程式语言（如C, Pascal, Basic, FORTRAN, COBOL, Ada）都是程序语言。参【非程序语言】（nonprocedural language）。