程序设计语言基本上可以分为：命令式程序设计语言、函数式程序设计语言、面向对象程序设计语言和逻辑程序设计语言。
1.命令式程序设计语言
命令式程序设计语言是基于动作的语言，计算在这里被看成是一个动作的序列。这些动作能够改变变量的值，最典型的动作就是赋值。命令式程序设计语言代表有Fortran，Pascal和C语言等。
2.函数式程序设计语言
函数是一种对应规则（映射），使定义域中每个元素和值域中唯一的元素相对应。函数式语言是一类以λ-演算为基础的语言，主要用于人工智能领域，其代表有Lisp、ML等。
3.面向对象程序设计语言
面向对象程序设计语言中最核心的东西是对象和类的概念。面向对象的三个核心概念是封装、继承和多态。面向对象程序设计语言的代表有C++、SmallTalk、Java等。
4.逻辑程序设计语言
逻辑程序设计语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的Prolog。Prolog有很强的推理功能，适用于书写自动定理证明、专家系统和自然语言理解等问题的程序。
高级程序语言的特点
Fortran语言是第一个广泛应用于科学计算的高级语言。由一个主程序和若干个子程序组成，由于大部分代码都可以直接使用硬件结构实现，因此执行效率很高。
Pascal语言最早是为了教学的目的开发而成的，拥有一些相对紧凑的机制，其语言的表达能力十分强。它引入了 数据结构、过程等重要概念，常用的Delphi便是采用的Pascal语言语法规则。
C语言是20世纪70年代发展起来的通用程序设计语言，提供了指针、数组、结构、联合等新的数据类型。它通过指针可以完成地址操作能力，因此是一种较低级的语言，能够编写出高效的程序。UNIX系统本身，以及其中大量的应用程序都是使用C编写的。
Prolog程序是以特殊的逻辑推理形式回答用户的查询。Prolog程序具有逻辑的简洁性和表达能力。实际应用上多用于数据库和专家系统。
网友评论