軟件設計師試題解析：程序語言的基本類型和特點

邏輯型語言((logic language)

支持用邏輯型程序設計(參見“邏輯型程序設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法，以Robinson歸結(jié)原理為語義，加上深度優(yōu)先的控制策略而形成的通用語言.它有內(nèi)設的形式匹配和回溯功能.由于它出于運行效率的考慮，附加了控制機構(gòu)，因而破壞了完備性，故不能看成是純粹的邏輯型語言.邏輯型語言的一個發(fā)展方向是并行的邏輯型語言，如英國AI_VEY計劃的PARLOG、并發(fā)PROLOG等.另一發(fā)展方向是將邏輯型語言和函數(shù)型、面向?qū)ο笳Z言相結(jié)合或滲透，構(gòu)造出新的語言，如I_OGLISP,POPLOG，F(xiàn)UNI_OG，LOOPS及IDEAL等.

函數(shù)式語言(functional language)

一類程序設計語言，是一種非馮·諾伊曼式的程序設計語言。函數(shù)式語言主要成分是原始函數(shù)、定義函數(shù)和函數(shù)型。這種語言具有較強的組織數(shù)據(jù)結(jié)構(gòu)的能力，可以把某一數(shù)據(jù)結(jié)構(gòu)(如數(shù)組)作為單一值處理；可以把函數(shù)作為參數(shù)，其結(jié)果也可為函數(shù)，這種定義的函數(shù)稱為高階函數(shù)，程序就是函數(shù)，程序作用在結(jié)構(gòu)型數(shù)據(jù)上，產(chǎn)生結(jié)構(gòu)型結(jié)果，從根本上改變了馮·諾伊曼式語言的“逐詞”工作方式。

交互語言

是一種能夠很好地描述終端用戶與交互系統(tǒng)進行對話過程，而且還可以借助于圖形工具，把對話過程形象地表述成為圖示的結(jié)構(gòu)。交互語言實際上旨在完整地描述圖，具體就是描述圖上結(jié)點以及諸結(jié)點之間的關(guān)系，即弧。交互語言的基本功能是提供對于結(jié)點和弧的描述手段。

命令式程序設計語言

是基于動作的語言，以馮諾依曼計算機體系結(jié)構(gòu)為背景。機器語言及匯編語言是最早的命令式語言。在這種語言中，計算機被看做是動作的序列，程序就是用語言提供的操作命令書寫的一個操作序列。用命令式程序設計語言編寫程序，就是描述解題過程中每一步的過程，程序的運行過程就是問題的求解過程，因此也稱為過程式語言。Fortran、ALGOL、COBOL、C、Ada、Pascal等都是命令式程序設計語言。

習題演練：

“通過指明一系列可執(zhí)行的運算及運算的次序來描述計算過程”是 （ ） 語言的特點。

A、邏輯式

B、函數(shù)式

C、交互式

D、命令式（或過程式）

信管網(wǎng)參考答案: D (僅供參考,歡迎評論交流)

信管網(wǎng)解析:本題考查程序語言的基本類型和特點。

邏輯式語言是一類以形式邏輯為基礎(chǔ)的語言。 函數(shù)式語言以入演算為基礎(chǔ)。命令式語言是基于動作的語言,在這種語言中,計算被看成是動作的序列,因此,通過指明一系列可執(zhí)行的運算及運算的次序來描述計算過程是命令語言的特點。