以下说法错误的是（）。

A．一阶谓词逻辑是产生式的一种特例，而产生式是框架形式的一种特例。

B．产生式类型的知识表示推动了专家系统的发展，并且曾应用于机器翻译的领域。

C．产生式系统包括：控制器、规则库、推理机、事实库。

D．产生式可描述规则性或事实性的一些知识，其中事实性的产生式可以表示为三元组。