正是由于PROLOG语言自己决定"如何做"，使得求解问题的效率比较低，严重影响了它的使用。

对基于规则的正向演绎系统，目标表达式中的 ∧ 号在与或树中表达为 与 的关系， ∨ 号在与或树中表达为 或 的关系。 点击查看答案&解析

可分解的产生式系统原始问题都可以被划分为几个独立的子问题来求解，从而提高问题求解的效率。 点击查看答案&解析