Prolog Synonyms