单选题
说明性语言的特点之一是 (27) ， (28) 就是一种说明性语言，它又是一种 (29) 程序设计语言。
Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。
Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则 (30) 为Horn子句。
单选题
A．没有程序呼叫 B．描述处理过程
C．没有赋值语句 D．描述用户需求
C．没有赋值语句 D．描述用户需求
【正确答案】
C
【答案解析】
单选题
A．C++ B．Prolog
C．GPSS D．Smalltalk
C．GPSS D．Smalltalk
【正确答案】
B
【答案解析】
单选题
A．函数型 B．递归型
C．人工智能 D．面向对象
C．人工智能 D．面向对象
【正确答案】
C
【答案解析】
单选题
A．P，Q:-R B．P:-Q，R
C．P:-～Q，R D．P，Q:-
C．P:-～Q，R D．P，Q:-
【正确答案】
B
【答案解析】[解析] 程序设计语言可分为过程性语言和非过程性语言，说明性语言属于非过程性语言，其特点之一就是没有赋值语句。本题中的Prolog是说明性语言，而现在流行的一些语言，基本上都是过程性语言。
同时，Prolog也是一种逻辑的人工智能语言，它的推理机制是采用一阶谓词逻辑。
Horn子句是逻辑程序设计语言的一个重要概念，对自动推理带来了形式上一致化的好处。在经典逻辑中，任一个由若干原子命题及有关逻辑运算符组成的复合命题均可化为等价的合取范式
其中Pij为正或负的原子命题，进而表示成子句集：
其中每个形如
的命题称为子句；若
同时，Prolog也是一种逻辑的人工智能语言，它的推理机制是采用一阶谓词逻辑。
Horn子句是逻辑程序设计语言的一个重要概念，对自动推理带来了形式上一致化的好处。在经典逻辑中，任一个由若干原子命题及有关逻辑运算符组成的复合命题均可化为等价的合取范式
其中Pij为正或负的原子命题，进而表示成子句集：其中每个形如
的命题称为子句；若