https://pypi.org/project/miniKanren/ https://github.com/pythological/kanren/
