以下说法错误的是（ ）。

A、一阶谓词逻辑是产生式的一种特例，而产生式是框架形式的一种特例。;
B、产生式类型的知识表示推动了专家系统的发展，并且曾应用于机器翻译的领域。;
C、产生式系统包括：控制器、规则库、推理机、事实库。;
D、产生式可描述规则性或事实性的一些知识，其中事实性的产生式可以表示为三元组。