Extracting Reduced Logic Programs from Artificial Neural Networks