基于规则的演绎系统

_

rule based deduction system; rule-based deduction system