Table des matières:
- Définition - Que signifie le langage de programmation (5GL) de cinquième génération?
- Techopedia explique le langage de programmation (5GL) de cinquième génération
Définition - Que signifie le langage de programmation (5GL) de cinquième génération?
Un langage de programmation (5GL) de cinquième génération est un regroupement de langages de programmation reposant sur la prémisse 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 de manière algorithmique 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 logiques et basés sur des contraintes sont des 5GL. Une idée fausse commune à propos des 5GL concerne la pratique de certains fournisseurs de 4GL de désigner leurs produits comme 5GL, alors que les produits sont essentiellement évolués et des outils 4GL améliorés.
Aussi connu comme un langage de 5e génération.
Techopedia explique le langage de programmation (5GL) de cinquième génération
Le saut au-delà des 4GL est recherché en adoptant une approche différente du défi informatique de la résolution de problèmes. Lorsque le programmeur dicte à quoi la solution doit ressembler, 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 trouvent actuellement dans le domaine de l'intelligence artificielle.
Des recherches considérables ont été investies dans les années 80 et 90 dans le développement des 5GL. Au fur et à mesure de la construction de programmes plus importants, il est devenu évident que l'approche consistant à trouver un algorithme en fonction d'une description du problème, d'instructions logiques et d'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 selon lesquelles ils remplaceraient la plupart des autres langages de programmation a fait 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 les requêtes sur une base de données de faits et de règles fournie par le programmeur.
