Version 0.0.1

First Release

Pylogic or python-logic is a library for doing logic programs. In this first release we support:

• Propositional logic
  • Literals and predicates.
  • Inference: DPPL and Resolution algorithm
• First Order Logic
  • Horn Clauses
  • Backward chaining

We also provide examples such as map coloring.