https://pypi.org/project/logical-unification/ https://github.com/pythological/unification/
