Définition - Que signifie le langage (de programmation) de cinquième génération (5GL)?
Un langage (de programmation) de cinquième génération (5GL) est un regroupement de langages de programmation reposant sur le principe qu'un problème peut être résolu, et une application conçue pour le résoudre, en fournissant des contraintes au programme (programmation basée sur des contraintes), plutôt que spécifier algorithmiquement comment le problème doit être résolu (programmation impérative).
En substance, le langage de programmation est utilisé pour désigner les propriétés, ou la logique, d'une solution, plutôt que la façon dont elle est atteinte. La plupart des langages de programmation basés sur des contraintes et logiques sont des 5GL. Une idée fausse courante sur les 5GL concerne la pratique de certains fournisseurs de 4GL de désigner leurs produits comme des 5GL, alors que les produits sont essentiellement évolués et améliorés avec des outils 4GL.
Aussi connu comme un langage de 5e génération.
Definir Tech explique le langage (de programmation) de cinquième génération (5GL)
Le saut au-delà des 4GL est recherché en adoptant une approche différente du défi informatique de résolution de problèmes. Lorsque le programmeur dicte à quoi doit ressembler la solution, en spécifiant les conditions et les contraintes de manière logique, l'ordinateur est alors libre de rechercher une solution appropriée. La plupart des problèmes applicables résolus par cette approche se retrouvent actuellement dans le domaine de l'intelligence artificielle.
Des recherches considérables ont été investies dans les années 1980 et 1990 sur le développement des 5GL. Au fur et à mesure que des programmes plus volumineux étaient construits, il est devenu évident que l'approche consistant à trouver un algorithme avec une description du problème, des instructions logiques et un ensemble de contraintes est un problème très difficile en soi. Au cours des années 1990, la vague de battage médiatique qui a précédé la vulgarisation des 5GL et les prédictions qu'ils remplaceront la plupart des autres langages de programmation, a cédé la place à une réalisation plus sobre.
PROLOG (acronyme de PROgramming LOGic) est un exemple de langage de programmation logique. Il utilise une forme de logique mathématique (calcul des prédicats) pour résoudre des requêtes sur une base de données de faits et de règles donnée par le programmeur.