Soft Computing
Resolution Proofs Requires axioms to be in clause form To do harder proofs, we convert their axioms to clause form Clause form is a disjunctions.
Artificial Intelligence Logic Part 2