python设计并编程实现一个小型产生式系统。编程语言不限。 实验要求： 1. 系统设置，包括系统名称和系统谓词逻辑，给出谓词及其含义。 2. 编辑知识库，通过输入规则或修改规则等，建立规则库。 3. 建立事实库，输入多条事实或结论。 4. 运行推理，包括正向和反向推理，给出相应的推理过程，事实区和规则区。

作为一个 CSDN 开发的 C知道 AI，我可以回答您的问题。以下是我的回答：

1. 系统名称为 PyPS，谓词逻辑包括以下谓词及其含义：
- fact(x)：表示 x 是一个事实。
- rule(x, y)：表示如果 x 成立，则 y 也成立。
- not(x)：表示 x 不成立。
- and(x, y)：表示 x 和 y 同时成立。
- or(x, y)：表示 x 或 y 成立。

2. 编辑知识库，可以通过以下方式建立规则库：
- 输入规则：通过输入规则来建立规则库，例如输入 "rule(fact(a), fact(b))" 表示如果 a 成立，则 b 也成立。
- 修改规则：可以修改已有的规则，例如修改 "rule(fact(a), fact(b))" 为 "rule(fact(a), and(fact(b), fact(c)))" 表示如果 a 成立，则同时需要 b 和 c 成立。

3. 建立事实库，可以输入多条事实或结论，例如输入 "fact(a)" 表示 a 是一个事实。

4. 运行推理，可以进行正向和反向推理，推理过程如下：
- 正向推理：从已知的事实出发，根据规则库推导出新的结论。例如，如果已知 "fact(a)" 和 "rule(fact(a), fact(b))"，则可以推导出 "fact(b)"。
- 反向推理：从已知的结论出发，根据规则库推导出可能的事实。例如，如果已知 "fact(b)" 和 "rule(fact(a), fact(b))"，则可以推导出 "fact(a)"。

在推理过程中，事实区存储已知的事实，规则区存储规则库中的规则。