Approximate reasoning by Similarity-based SLD Resolution