Как динамически создавать символы функций в pyDatalog?

Question

Например, у меня есть такие правила в Datalog:

Как мне создать эти правила динамически в pyDatalog, используя "load"?

Спасибо!