[monlockandkey]

Is there an equivalent Python library to model these rules?

[Qem]

https://pypi.org/project/pyDatalog/

[efferifick]

I recommend `egglog` which is Datalog + Equality Saturation. It has python bindings and has allowed me to optimize programs in a custom programming language.

https://egg-smol-python.readthedocs.io/en/latest/

[gieksosz]

you can try this: https://github.com/yuce/pyswip