产生式系统的推理过程？

（1）初始化综合数据库，即把欲解决问题的已知事实送入综合数据库中；
（2）检查规则库中是否有未使用过的规则，若无转（7）；
（3）检查规则库的未使用规则中是否有其前提可与综合数据库中已知事实相匹配的规则，若有，形成当前可用规则集；否则转（6）；
（4）按照冲突消解策略，从当前可用规则集中选择一个规则执行，并对该规则作上标记。把执行该规则后所得到的结论作为新的事实放入综合数据库；如果该规则的结论是一些操作，则执行这些操作；
（5）检查综合数据库中是否包含了该问题的解，若已包含，说明解已求出，问题求解过程结束；否则，转（2）；
（6）当规则库中还有未使用规则，但均不能与综合数据库中的已有事实相匹配时，要求用户进一步提供关于该问题的已知事实，若能提供，则转（2）；否则，执行下一步；
（7）若知识库中不再有未使用规则，也说明该问题无解，终止问题求解过程。

略