N-Prolog and equivalence of logic programs Nicola OlivettiLea Terracini OriginalPaper Pages: 253 - 340