4）Pascal语言
    Pascal语言是70年代初由瑞士联邦大学的N.Wirth教授创建的程序设计语言，为了纪念法国数学家Pascal而命名。它是在ALGOL60的基础上发展起来的重要语言，其最大特点是简明性与结构化。Pascal语言不仅用作教学语言，而且也用作系统程序设计语言和某些应用。所谓系统程序设计语言，就是用这种语言可以编写系统软件，如操作系统、编译程序等。Pascal语言是一种安全可靠的语言，有强数据类型。语法满足自顶向下设计和结构程序设计。Pascal语言吸收了ALGOL语言中许多有益成分，例如用WHILE与CASE语句结构，用户自定义数据类型等。这样，使得Pascal语言的数据抽象进入一个新的层次。
    5）C语言
    C语言是在原BCPL语言基础上发展起来，用于编写UNIX操作系统，取BCPL的第二字母C而命名。C语言具有结构性，是一种结构化语言，层次清晰，易于调试和维护；但它又不是完全结构化的，因为在C函数中允许使用goto语句，函数可以相互调动，无嵌套关系，在同一控制流或函数中允许多个出口；语句简练，书写灵活；处理能力强；移植性好。C语言的主要不足之处是它不是一种强类型语言，这在一定意义下影响到安全性；此外，运算符多，优先级复杂，对初学者不利。即使如此，它仍不失为一种有代表性的实现级语言。
    6）C++语言
    C++语言是一种在C语言基础上发展起来的面向对象语言，它支持数据抽象和面向对象风范。C++语言是对C语言的扩充，从Simula中吸取了类，从ALGOL语言中吸取了运算符的一名多用、引用和在分程序中任何位置均可说明变量，综合了Ada语言的类属和Clu语言的模块特点，形成了抽象类，从Ada、Clu和ML等语言吸取了异常处理，从BCPL语言中吸取了用∥表示注释。
    C++语言保持了C语言的紧凑、灵活、高效以及易于移植性强等优点，它对数据抽象的支持主要在于类概念和机制，对面向对象风范的支持主要通过虚拟机制函数。因C++语言既有数据抽象和面向对象能力，运行性能高，加上C语言的普及，而从C语言到C++语言的过渡较为平滑，以及C++语言与C语言的兼容程度可使数量巨大的C语言程序能方便地在C++语言环境中复用，使C++语言在短短几年内能迅速流行，成为当前一种面向对象程序设计的主流语言。
    7）Java语言
    Java语言的名字取自于印度尼西亚一个盛产咖啡的岛屿“爪哇”：Java语言是一种简捷的、面向对象的、用于网络环境的程序设计语言，是由SUN MircoSystem公司于1995年5月正式对外发布的。Java语言的基本特征是：
    . 简捷易学：最初开发Java语言的本意是为家用电器进行程序控制，它坚持面向对象的基本原理，又避免了运算符 的一名多用、多重继承等复杂概念；
    . 面向对象：在坚持面向对象方法的基础上，Java提供了颇为简单的类机制，以及富有成效的接口模型；
    . 适用于网络分布环境：Java是一种面向网络应用的语言，通过它所提供的类库，可以处理TCP/IP协议，可以通过URL地址在网络上访问其它对象，能较方便地与其他计算结点协同工作；
    . 解释执行和多线程：Java解释程序能直接对Java的字节编码进行解释执行，由于可以从字节码获得部分编译信息，因此使得连接过程更加简捷；
    . 安全健壮：由于Java提供了自动废区收集、面向对象的异常处理、自动捕获类型说明中的常见错误，一切对内存的访问都必须通过对象的实例变量实现等手段，因此，Java可以防止部分故障，具有一定的安全健壮性。
    由于Java具有以上特性，所以已受到各种应用领域的重视，发展很快。随着Java芯片、Java OS、Java解释执行和编译、Java虚拟机技术的日趋先进，Java语言将更加完善，发挥更大的作用。
    8）LISP语言
    LISP(List Processor)是表处理的缩写。它引进函数式程序设计概念和表处理设施，在人工智能领域内广泛使用。LISP程序与其数据结构采用了完全相同的结构形式与处理方式，因此可以相当方便地采用LISP语言来编写它的解释程序。LISP语言除了用S表达式来统一处理数据与程序外，还引入了前缀运算符表示法、递归数据结构、递归控制结构以及新的条件表达式形式。
    9）PROLOG语言
    PROLOG(Programming in Logic)语言是逻辑式程序设计语言的缩写。是基于“逻辑可作为程序设计语言”这一思想而设计的程序设计语言。广泛应用于关系数据库、数理逻辑、抽象问题求解、自然语言理解等多种领域中。