问答题
什么是一致解图？
当一个解图中所有涉及的置换构成的置换集是一致的时，该解图称为一致解图。
问答题 如何求一个置换集的合一复合？
问答题 在基于规则的逆向演绎系统中，如何用与或树表示目标表达式？
问答题 在基于规则的正向演绎系统中，如何用与或树表示事实表达式？
