GODEL
Sintaxis y simbolos
A menudo es conveniente emplear la notación de prefijo, infijo o posfijo en lugar de la notación lógica estándar. notación para términos y átomos
- Las declaraciones de FUNCIÓN permiten la declaración opcional de fijeza, precedencia y asociatividad de funciones unarias o binarias a través de indicadores de función.
- La forma general de un indicador para un infijo función binaria es xFx(N), xFy(N) o yFx(N). Cada uno de xFx, xFy e yFx es un especificador.
- La N, que es un número entero positivo, es la precedencia.
- La posición de la F indica que el la fijeza de la función es infija.
Como desarrollar un programa en Godel:
Paso 1: Los números de Gödel se construyen con referencia a símbolos de cálculo proposicional y la aritmética formal. Cada símbolo se asigna primero a un número natural Y así para todos los símbolos posibles.
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.
Paso 3: Finalmente, a las secuencias de enunciados se les asigna un número de Gödel (donde GN significa número de Gödel).
Esqueleto
