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)語言是邏輯式程序設計語言的縮寫。是基于“邏輯可作為程序設計語言”這一思想而設計的程序設計語言。廣泛應用于關系數據庫、數理邏輯、抽象問題求解、自然語言理解等多種領域中。