Plugging Numeric Similarity in First-Order Logic Horn Clauses Comparison