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

• pyDatalog adds the logic programming paradigm to Python

• Pychinko is an RDF friendly forward-chaining rule engine