|
|
|
|
|
命令式程序设计语言是基于动作的语言，在这种语言中，计算被看作动作的序列。命令式语言族开始于FORTRAN、PASCAL和C语言，体现了命令式程序设计的关键思想。
|
|
|
|
|
|
（1）对象。对象是指人们要进行研究的任何事物，它具有状态和操作。面向对象的语言把状态和操作封装于对象实体之中，并提供一种访问机制。用户只能通过向允许公开的操作提出要求，才能查询和修改对象的状态。
|
|
|
|
（2）类。类是面向对象语言必须提供的、由用户定义的数据类型，它将具有相同状态、操作和访问机制的多个对象抽象成一个对象类。在定义类以后，属于这种类的一个对象被称为类实例或类对象。
|
|
|
|
（3）继承。继承是面向对象语言的另一个基本要素。继承实现了一般与特殊的关系，解决了软件的可重用性和可扩充性的问题。
|
|
|
|
|
|
函数式程序设计语言是一类以λ-演算为基础的语言。该语言的代表是LISP语言，其中大量使用了递归。
|
|
|
|
函数是一种对应规则（映射），它是定义域中的每个元素和值域中唯一的元素相对应。函数可以看成一种程序，其输入就是定义在左边括号中的变量，可以将输入组合起来产生一个规则，组合过程中也可以使用其他函数或函数本身。这种用函数和表达式建立程序的方法就是函数式程序设计。函数型程序设计语言的优点之一就是表达式中出现的任何函数都可以用其他函数来代替，只要这些函数调用产生相同的值。
|
|
|
|
|
|
逻辑型程序设计语言是一类以形式逻辑为基础的语言。该语言的代表是建立在关系理论和一阶谓词理论基础上的Prolog语言。Prolog语言具有很强的推理功能，适用于书写自动定理证明、专家系统以及自然语言理解等问题的程序。
|
|
|
