Gödel (lenguaje de programación)

Gödel (lenguaje 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.

Características

Gödel tiene un sistema de módulos; permite enteros y racionales de precisión arbitraria y números de punto flotante. Puede resolver restricciones sobre dominios finitos de enteros así como restricciones lineales racionales. Admite procesamiento de conjuntos finitos. Tiene también una regla flexible de cómputo que admite el operador de poda, que es una generalización del operador commit de los lenguajes de programación concurrentes.

Las facilidades meta lógicas de Gödel dan cabida a meta programas que realizan análisis, transformación, compilación, verificación y puesta a punto entre muchas otras tareas.

Ejemplo de código

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 DivisorComun dice que si i y j no son cero, d es un divisor común de i y j si está entre 1 y el más pequeño entre i y j y divide a los dos en forma exacta. 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 más grande que d.

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.


Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Lenguaje de programación Gödel — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Lenguaje de programación Gödel — Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación con lógica. Es un lenguaje fuertemente tipificado, con un sistema de tipos basado en many sorted logic con polimorfismo… …   Enciclopedia Universal

  • Gödel — Gödel, Escher, Bach: un Eterno y Grácil Bucle Saltar a navegación, búsqueda Gödel, Escher, Bach: un Eterno y Grácil Bucle[1] (Gödel, Escher, Bach: an Eternal Golden Braid comúnmente GEB) es un libro ganador del Premio Pulitzer de Douglas… …   Wikipedia Español

  • Gödel, Escher, Bach: un Eterno y Grácil Bucle — Gödel, Escher, Bach: un Eterno y Grácil Bucle[1] (Gödel, Escher, Bach: an Eternal Golden Braid comúnmente GEB) es un libro ganador del Premio Pulitzer de Douglas Hofstadter, publicado en 1979 por Basic Books. El título de la primera edición en… …   Wikipedia Español

  • Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

  • Numeración de Gödel — En teoría de los números un número de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN). El concepto fue utilizado por primera vez por Kurt Gödel para la demostración… …   Wikipedia Español

  • Historia de la computación — Saltar a navegación, búsqueda La computadora no es un invento de alguien en particular, sino el resultado evolutivo de ideas y realizaciones de muchas personas relacionadas con áreas tales como la electrónica, la mecánica, los materiales… …   Wikipedia Español

  • Anexo:Historia de la computación — La computadora u ordenador, no es un invento de alguien en particular, sino el resultado evolutivo de ideas y realizaciones de muchas personas relacionadas con áreas tales como la electrónica, la mecánica, los materiales semiconductores, la… …   Wikipedia Español

  • Primera generación de computadoras — Saltar a navegación, búsqueda La primera generación de computadoras abarca desde el año 1946 hasta el año 1958, época en que la tecnología electrónica era a base de bulbos o tubos de vacío, y la comunicación era en términos de nivel más bajo que… …   Wikipedia Español

  • Historia del hardware — La máquina analítica de Charles Babbage, en el Science Museum de Londres. El hardware ha sido un componente importante del proceso de cálculo y almacenamiento de datos desde que se volvió útil para que los valores numéricos fueran procesados y… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”