以下关于Horn子句的说法不正确的是()
A: Horn子句中的无头子句，用来表示事实：a_1←;a_2←
B: 可以按照从左到右的顺序以及归结
C: 只包含一个代表结论的正文字
D: Horn子句中的规则子句，用来表示推理规则：a←b_1∩b_2∩b_3∩…∩b_n
A: Horn子句中的无头子句，用来表示事实：a_1←;a_2←
B: 可以按照从左到右的顺序以及归结
C: 只包含一个代表结论的正文字
D: Horn子句中的规则子句，用来表示推理规则：a←b_1∩b_2∩b_3∩…∩b_n
