说明性语言的特点之一是(27)，(28)就是一种说明性语言，它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则(30)为Horn子句。

admin2019-04-08 38

问题说明性语言的特点之一是(27)，(28)就是一种说明性语言，它又是一种(29)程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则(30)为Horn子句。

选项 A、P，Q:-R
B、P:-Q，R
C、P:-～Q，R
D、P，Q:-

答案B

解析程序设计语言可分为过程性语言和非过程性语言，说明性语言属于非过程性语言，其特点之一就是没有赋值语句。本题中的Prolog是说明性语言，而现在流行的一些语言，基本上都是过程性语言。
同时，Prolog也是一种逻辑的人工智能语言，它的推理机制是采用一阶谓词逻辑。
Horn子句是逻辑程序设计语言的一个重要概念，对自动推理带来了形式上一致化的好处。在经典逻辑中，任一个由若干原子命题及有关逻辑运算符组成的复合命题均可化为等价的合取范式