Lenguaje de programación orientado a las matemáticas.