以下关于Horn子句的几种形式说法中，错误的是A规则子句用来表示推理规则：←b∧b∧b∧…∧bnB无头子句用来表示待证目标集合：←b∧b∧b∧…∧bnC无体子句用来表示事实：a←D以上全部错误