forward rule-based deduction system

• [计] 基于规则的正向演绎系统, 正向规则演绎系统