用计算机能够理解的逻辑来描述所要解决的问题和解决问题的具体方法、步骤。如FORTRAN、BASIC、PASCAL、C等。
面向问题的语言
又称非过程化的语言或第四代语言（4GL）。不必关心问题的求解算法和求解过程，只需指出问题是要计算机做什么、数据的输入和输出形式，就能得到所需结果。如结构化查询语言SQL（Structured Query Language）。
面向对象的语言
将客观事物看作具有属性和行为的对象，并抽象出同一类对象的共同属性和行为形成类。如C++、Object-C、Object Pascal、Simula、Smalltalk、Eiffel、Actor和Java等。
