python - 如何在pyDatalog中动态创建函数符号？

Question

例如，我在 Datalog 中有这样的规则：

如何使用“加载”在 pyDatalog 中动态创建这些规则？

谢谢！