身心障礙人員考試身障四等-資訊處理類科計算機概要115 年第 20 題單選題
下列何者不被視為程序性程式語言（procedural language）？
ACOBOL
BProlog正確答案
CPascal
DAda
B正確答案
Prolog 屬於邏輯式程式語言（logic programming），非程序性語言。
為什麼答案是 B
Prolog (Programming in Logic) 屬於「邏輯式程式語言」，以事實 (fact) 與規則 (rule) 描述問題，由推論引擎求解，非依步驟執行，故不屬程序性語言。
載入中…
完整詳解
Pro · 無限重點 Prolog 屬於邏輯式程式語言（logic programming），非程序性語言。
記口訣：C/Pascal/COBOL/Ada/Fortran = 程序式；Prolog = 邏輯式；Lisp/Haskell = 函數式。
逐選項分析
A✕
COBOL（商用導向）是典型程序性語言，以一連串敘述指令描述執行步驟，廣用於銀行、金融系統。
B✓ 正確
Prolog (Programming in Logic) 屬於「邏輯式程式語言」，以事實 (fact) 與規則 (rule) 描述問題，由推論引擎求解，非依步驟執行，故不屬程序性語言。
C✕
Pascal 由 Wirth 設計，是教學用經典程序性／結構化程式語言，強調由上而下逐步執行。
D✕
Ada 為美國國防部開發之高階程序性語言，支援結構化與模組化，常用於航太、軍事等嵌入式系統。
程式語言典範 (Paradigm) 分類
| 類型 | 特徵 | 代表語言 | 應用領域 |
|---|
| 程序式 Procedural | 依步驟執行指令 | C, Pascal, COBOL, Ada, Fortran, BASIC | 系統、商用程式 |
| 邏輯式 Logic | 描述事實與規則，由推論求解 | Prolog | AI、專家系統 |
| 函數式 Functional | 以函數運算為核心，無副作用 | Lisp, Haskell, Scheme | AI、符號運算 |
| 物件導向 OOP | 封裝、繼承、多型 | Java, C++, Python | 軟體工程 |
考生常把 Prolog 誤認為古早的程序式語言（因名字聽起來像 Pascal/Program）。實則 Prolog = Programming in Logic，是邏輯式語言的代表，與宣告式、非程序式歸為一類，別被名稱誤導。 
