Here are some proofs and solved exercises:

ex15.pdf, ex26.pdf, ex27.pdf, ex31.pdf, ex51.pdf


A Prolog program that finds shortest resolution refutations of propositional clauses is here.


Main page