Lenguaje Gödel

LENGUAJES DE PROGRAMACIÓN

Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many-sorted logic con polimorfismo parametrizado. Se le dio ese nombre en honor al lógico Kurt Gödel.

Esta basado en módulos y en tipos de datos y tiene una amplia librería de módulos predefinidos.

Es un buen lenguaje para tareas como la compilacion, depuración, análisis, verificacion o transformación de programas.

Como curiosidad, se puede destacar que este lenguaje no funciona en un entorno Windows. 

Ejemplo: Máximo Común Divisor

SALUDOS!!!