{A New Definition of SLDNF-Resolution}