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
Unable to edit the page? See the FrontPage for instructions.