Resolution theorem proving for predicate logic in pure Python. - View it on GitHub