Translations and Similarity-based Logic Programming