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.