LogicTools

This wiki is in the process of being archived due to lack of usage and the resources necessary to serve it — predominately to bots, crawlers, and LLM companies. Edits are discouraged.
Pages are preserved as they were at the time of archival. For current information, please visit python.org.
If a change to this archive is absolutely needed, requests can be made via the infrastructure@python.org mailing list.

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