How can the bottom-up proof procedure show that there is no successful derivation?
  • If the procedure finishes and the set of atoms implied by KB is not a superset of g, then there exists no successful derivation.

Valid HTML 4.0 Transitional