软件设计师试题解析：程序语言的基本类型和特点

逻辑型语言((logic language)

支持用逻辑型程序设计(参见“逻辑型程序设计”)方法求解问题的语言工具.典型的逻辑型语言是PROLOG.它以一阶谓词逻辑的horn子句为语法，以Robinson归结原理为语义，加上深度优先的控制策略而形成的通用语言.它有内设的形式匹配和回溯功能.由于它出于运行效率的考虑，附加了控制机构，因而破坏了完备性，故不能看成是纯粹的逻辑型语言.逻辑型语言的一个发展方向是并行的逻辑型语言，如英国AI_VEY计划的PARLOG、并发PROLOG等.另一发展方向是将逻辑型语言和函数型、面向对象语言相结合或渗透，构造出新的语言，如I_OGLISP,POPLOG，FUNI_OG，LOOPS及IDEAL等.

函数式语言(functional language)

一类程序设计语言，是一种非冯·诺伊曼式的程序设计语言。函数式语言主要成分是原始函数、定义函数和函数型。这种语言具有较强的组织数据结构的能力，可以把某一数据结构(如数组)作为单一值处理；可以把函数作为参数，其结果也可为函数，这种定义的函数称为高阶函数，程序就是函数，程序作用在结构型数据上，产生结构型结果，从根本上改变了冯·诺伊曼式语言的“逐词”工作方式。

交互语言

是一种能够很好地描述终端用户与交互系统进行对话过程，而且还可以借助于图形工具，把对话过程形象地表述成为图示的结构。交互语言实际上旨在完整地描述图，具体就是描述图上结点以及诸结点之间的关系，即弧。交互语言的基本功能是提供对于结点和弧的描述手段。

命令式程序设计语言

是基于动作的语言，以冯诺依曼计算机体系结构为背景。机器语言及汇编语言是最早的命令式语言。在这种语言中，计算机被看做是动作的序列，程序就是用语言提供的操作命令书写的一个操作序列。用命令式程序设计语言编写程序，就是描述解题过程中每一步的过程，程序的运行过程就是问题的求解过程，因此也称为过程式语言。Fortran、ALGOL、COBOL、C、Ada、Pascal等都是命令式程序设计语言。

习题演练：

“通过指明一系列可执行的运算及运算的次序来描述计算过程”是 （ ） 语言的特点。

A、逻辑式

B、函数式

C、交互式

D、命令式（或过程式）

信管网参考答案: D (仅供参考,欢迎评论交流)

信管网解析:本题考查程序语言的基本类型和特点。

逻辑式语言是一类以形式逻辑为基础的语言。 函数式语言以入演算为基础。命令式语言是基于动作的语言,在这种语言中,计算被看成是动作的序列,因此,通过指明一系列可执行的运算及运算的次序来描述计算过程是命令语言的特点。