参考答案：B

解析：

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