Definição – O que significa a linguagem de quinta geração (programação) (5GL)?
Uma linguagem de quinta geração (programação) (5GL) é um agrupamento de linguagens de programação baseadas na premissa de que um problema pode ser resolvido, e um aplicativo construído para resolvê-lo, fornecendo restrições ao programa (programação baseada em restrições), em vez de especificar algoritmicamente como o problema deve ser resolvido (programação imperativa).
Em essência, a linguagem de programação é usada para denotar as propriedades, ou lógica, de uma solução, ao invés de como ela é alcançada. A maioria das linguagens de programação baseadas em restrições e lógicas são 5GLs. Um equívoco comum sobre 5GLs refere-se à prática de alguns fornecedores de 4GL de denotar seus produtos como 5GLs, quando, em essência, os produtos são ferramentas 4GL desenvolvidas e aprimoradas.
Também conhecida como linguagem de 5ª geração.
Definirtec explica a linguagem de quinta geração (programação) (5GL)
O salto além dos 4GLs é buscado por meio de uma abordagem diferente para o desafio computacional de resolução de problemas. Quando o programador dita como a solução deve ser, especificando as condições e restrições de maneira lógica, o computador fica então livre para procurar uma solução adequada. A maioria dos problemas aplicáveis resolvidos por esta abordagem podem ser encontrados atualmente no domínio da inteligência artificial.
Pesquisas consideráveis foram investidas nas décadas de 1980 e 1990 no desenvolvimento de 5GLs. À medida que programas maiores foram construídos, tornou-se aparente que a abordagem de encontrar um algoritmo dada uma descrição do problema, instruções lógicas e um conjunto de restrições é um problema muito difícil em si. Durante a década de 1990, a onda de hype que precedeu a popularização dos 5GLs e previsões de que eles substituirão a maioria das outras linguagens de programação deu lugar a uma realização mais sóbria.
PROLOG (acrônimo para PROgramming LOGic) é um exemplo de Linguagem de Programação Lógica. Ele usa uma forma de lógica matemática (cálculo de predicado) para resolver consultas em um banco de dados de fatos e regras fornecido pelo programador.