Tools for dealing with logic, logical inference, local programming, expert systems, etc in Python:

 * [[https://sites.google.com/site/pydatalog/|pyDatalog]] adds the logic programming paradigm to Python
 * [[http://www.mindswap.org/~katz/pychinko/|Pychinko]] is an RDF friendly forward-chaining rule engine