Translation Of Combinatory Logic In Different Languages