正向规则演绎系统的英文翻译

英文翻译：【计】 forward rule-based deduction system