Gödel - LABORATORIO DE LENGUAJES DE PROGRAMACIÓN

En las diapositivas de la doctora nos venia hablando sobre Gödel, pero no muy a fondo, ya que era mas reelevante PROLOG.

En este caso hize una pequeñisima investigación para ver un poco de lo que es, sus caracteristicas y algun ejemplo pequeño.

Bueno pues Gödel es un lenguaje de programación más, este esta ubicado entre los declarativos, y pues tiene el proposito de adherirse al paradigma de la programación lógica.

Este lenguaje posee un sistema de modulos, nos permite enteros y racionales de precisión arbitraria y números de punto flotante.

Tiene facilidades meta-logicas que dan espacio a meta-programas que realizan analisis, transformación, compilación, verificacion y puesta a punto, entre muchas cosas más.

Bueno y un pequeño ejemplo que me permitirá explicar mejor esto es:

MODULE MCD.

IMPORT Integers.

PREDICATE                    Mcd : Integer * Integer * Integer.
Mcd(i,j,d)                        <-
                                        DivisorComun(i,j,d) &
                                       ~ SOME [e] (DivisorComun(i,j,e) & e > d).

PREDICATE                    DivisorComun : Integer * Integer * Integer.
DivisorComun              (i,j,d) <-
                                       IF (i = 0 \/ j = 0)
                                      THEN
                                          d = Max(Abs(i),Abs(j))
                                      ELSE
                                          1 =< d =< Min(Abs(i),Abs(j)) &
                                          i Mod d = 0 &
                                          j Mod d = 0.

Bueno en este ejemplo vemos en un principio que maneja el modulo que es MCD, despues importa un tipo de variable, en el predicado nos muestra como es que esta compuesto el MCD por el Integer que ya la habia importado antes, Luego nos dice que d es el MCD de i y j si es un divisor  comun de i y j y no existe e que sea tambien divisor comun de estos y sea mas grande que d. Y en la ultima parte vemos como es que lo saca, como ya comunmente lo hemos practicado antes en programas.

Alumno: Daniel Alejandro Bulnes Reyna

Matricula: 1441186

Clase: Martes M1-M3

Dra. Elisa Schaeffer