Lógica de predicados - Outras línguas