python - Python中重写规则引擎的例子？

Question

Python 生态系统中是否有任何现有项目以类似于 Mathematica 或 Maude 的方式使用重写/生产/转换规则？

请注意，我指的是逻辑编程概念，而不是 Web 服务器概念。