规则演绎系统中的事实

• fact in rule-based dedution system