高級程序設計語言，亦稱“算法語言”，簡稱“高級語言”。用易寫和易懂的形式語言來編寫程序的程序設計語言。可擺脱計算機指令系統和機器語言隨機器不同的約束，並設計相應的編譯程序（或稱“編譯器”），把適用於各種機器的高級語言編寫的源程序轉換為
中央處理器能識別的目標代碼。按其描述計算過程的基本規範，分過程式語言（如
FORTRAN語言、PASCAL語言、Ada語言等）、函數式語言（如LISP語言）、邏輯式語言（如PROLOG語言）和麪向對象語言（在前幾類語言上增添一些支持面向對象的描述機制而構成）。
[1]