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:
- Handbook of Automated Reasoning (only the first 1900 pages)