Completeness of the SLDNF-resolution for a class of logic programs