Extracting reduced logic programs from artificial neural networks