python邏輯編程之kanren

https://github.com/logpy/logpy https://pypi.org/project/kanren/ https://www.yiibai.com/ai_with_python/ai_with_python_logic_programming.html ...