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

A．函数型

B．递归型

C．人工智能

D．面向对象

下列有关书面声明的说法中，正确的是（）。

A.书面声明的日期应当和审计报告日在同一天，且应当涵盖审计报告针对的所有财务报表和期间

B.管理层已提供可靠书面声明的事实，影响注册会计师就管理层责任履行情况或具体认定获取的其他审计证据的性质和范围

C.如果对管理层的诚信产生重大疑虑，以至于认为其做出的书面声明不可靠，注册会计师在出具审计报告时就应当对财务报表发表无法表示意见

D.如果书面声明与其他审计证据不一致，注册会计师应当要求管理层修改书面声明