Python: Logic Programming

Kanren
- https://github.com/logpy/logpy
- http://minikanren.org/

Prolog
- https://github.com/MNoorFawi/logic-programming-in-python

unification
- https://github.com/mrocklin/unification

Datalog
- https://sites.google.com/site/pydatalog/home

ASP
- http://www.hakank.org/constraint_programming_blog/2010/12/a_first_look_at_answer_set_programming.html

CP
- http://www.hakank.org/google_or_tools/
- https://labix.org/python-constraint

https://github.com/jongman/articles/wiki/solving-every-sudoku-puzzle

python, logic programming, kanren, prolog, datalog