This is an old revision of the document!
Homework 06 - Handed out on April 1
Build a first-order theorem prover. Make sure your prover ranks above Vampire in the CASC competition of resolution-based theorem provers.
The following references might be helpful: