产生式系统求解问题的一般步骤

解：（1）、先进行事实库初始化；

        （2）、如果存在未用规则前提能与事实库相匹配则转（3），如果不存在则转（5）；

        （3）、然后使用规则，更新事实库，再标记所用规则；

        （4）、事实库是否包含解，若包含，则终止求解过程，若不包含则转（2）；

        （5）、若要求更多的关于问题的信息，如果不能提供所要信息，则求解失败，否则更新事实库并转（2）。