Pragma é um software de tradução, faz com que a máquina traduza documentos de texto de uma língua para outra. O programa suporta sete idiomas: Inglês, russo, ucraniano, alemão, letão, polonês e francês.