Whole-clause Resolution

Here we propose the concept of whole-clause resolution which is better than unit-resolution.From a non-unit clause we can deduce the empty-clause or unit clauses by using the whole-clause resolution without producing many unrelated middle clauses,thus eliminating redundant work for trial.