Fast Abductive Learning by Similarity-based Consistency Optimization