Bridging Machine Learning and Logical Reasoning by Abductive Learning