Tabla de contenido:
- Definición: ¿Qué significa el lenguaje de quinta generación (programación) (5GL)?
- Techopedia explica el lenguaje de quinta generación (programación) (5GL)
Definición: ¿Qué significa el lenguaje de quinta generación (programación) (5GL)?
Un lenguaje de quinta generación (programación) (5GL) es una agrupación de lenguajes de programación basados en la premisa de que un problema puede resolverse, y una aplicación creada para resolverlo, proporcionando restricciones al programa (programación basada en restricciones), en lugar de especificando algorítmicamente cómo se resolverá el problema (programación imperativa).
En esencia, el lenguaje de programación se usa para denotar las propiedades, o la lógica, de una solución, en lugar de cómo se alcanza. La mayoría de los lenguajes de programación basados en restricciones y lógicos son 5GL. Un concepto erróneo común sobre 5GL se refiere a la práctica de algunos proveedores de 4GL para denotar sus productos como 5GL, cuando en esencia los productos son herramientas 4GL desarrolladas y mejoradas.
También conocido como lenguaje de quinta generación.
Techopedia explica el lenguaje de quinta generación (programación) (5GL)
El salto más allá de 4GL se busca adoptando un enfoque diferente al desafío computacional de resolver problemas. Cuando el programador dicta cómo debe verse la solución, al especificar condiciones y restricciones de manera lógica, la computadora es libre de buscar una solución adecuada. La mayoría de los problemas aplicables resueltos por este enfoque se pueden encontrar actualmente en el dominio de la inteligencia artificial.
Se ha invertido una considerable investigación en los años ochenta y noventa en el desarrollo de 5GL. A medida que se construyeron programas más grandes, se hizo evidente que el enfoque de encontrar un algoritmo dado una descripción del problema, instrucciones lógicas y un conjunto de restricciones es un problema muy difícil en sí mismo. Durante la década de 1990, la ola de exageración que precedió a la popularización de los 5GL y las predicciones de que reemplazarán a la mayoría de los otros lenguajes de programación, dio paso a una realización más sobria.
PROLOG (acrónimo de PROgramming LOGic) es un ejemplo de lenguaje de programación lógica. Utiliza una forma de lógica matemática (cálculo de predicados) para resolver consultas en una base de datos de hechos y reglas dada por un programador.
