====== 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


{{tag>python logic_programming kanren prolog datalog}}