Poorly Implemented Propositional Logic
- Artificial Intilligence: A Modern Approach
- This project was started after reading the book's chapter on propositional logic
- Handbook of Practical Logic and Automated Reasoning
- The book's example code, written in OCamel, was taken as further inspiration