问答题 在基于规则的正向演绎系统中，如何用与或树表示事实表达式？

问答题 简述基于规则的逆向演绎系统对事实、规则和目标的化简过程。

问答题 简述基于规则的正向演绎系统对事实、规则和目标的化简过程。