基于规则的正向演绎系统的子句形式()
A:子句的合取式(合取范式)
B:子句的析取式(析取范式)
C:文字的析取式
D:文字的合取式
出自:计算机科学