Logic programs as specifications in the inductive verification of logic programs