利用Prolog语言实现基于产生是规则的正向推理和反向推理，并解决走迷宫问题或者农夫过河问题、八数码问题、交通线路问题、旅行商问题、八皇后问题、机器人行动规则问题等规划性问题，或者动物分类、植物分类、疾病诊断、故障诊断等推理决策性问题，找出其中的产生式规则，组成规则库，并给出初始事实数据和目标条件，建立一个小型产生式系统。 谁可以帮帮忙 我找不到啊~~~~