Gödel (lenguaje de programación)

Se le dio ese nombre en honor al lógico Kurt Gödel.Las facilidades metalógicas de Gödel dan cabida a metaprogramas que realizan análisis, transformación, compilación, verificación y puesta a punto, entre muchas otras tareas.El siguiente ejemplo de módulo Gödel es una especificación del máximo común divisor (MCD) de dos números.Su objetivo es mostrar la naturaleza declarativa de Gödel, pero no es particularmente eficiente.El predicado Mcd dice que d es el MCD de i y j si es un divisor común de i y j y no existe e que sea también divisor común de i y j y sea mayor que d.