Sommario:
- Definizione - Cosa significa linguaggio di quinta generazione (programmazione) (5GL)?
- Techopedia spiega il linguaggio di quinta generazione (programmazione) (5GL)
Definizione - Cosa significa linguaggio di quinta generazione (programmazione) (5GL)?
Un linguaggio (programmazione) di quinta generazione (5GL) è un raggruppamento di linguaggi di programmazione basati sul presupposto che un problema può essere risolto e un'applicazione creata per risolverlo, fornendo vincoli al programma (programmazione basata sui vincoli), piuttosto che specificando algoritmicamente come risolvere il problema (programmazione imperativa).
In sostanza, il linguaggio di programmazione viene utilizzato per indicare le proprietà, o la logica, di una soluzione, piuttosto che il modo in cui viene raggiunto. La maggior parte dei linguaggi di programmazione logica e basati su vincoli sono 5GL. Un malinteso comune sui 5GL riguarda la pratica di alcuni venditori di 4GL di indicare i loro prodotti come 5GL, quando in sostanza i prodotti vengono evoluti e migliorati con gli strumenti 4GL.
Conosciuto anche come lingua di quinta generazione.
Techopedia spiega il linguaggio di quinta generazione (programmazione) (5GL)
Il salto oltre i 4GL è richiesto adottando un approccio diverso alla sfida computazionale di risolvere i problemi. Quando il programmatore determina l'aspetto della soluzione, specificando le condizioni e i vincoli in modo logico, il computer è quindi libero di cercare una soluzione adatta. La maggior parte dei problemi applicabili risolti da questo approccio può attualmente essere trovata nel campo dell'intelligenza artificiale.
Negli anni '80 e '90 sono stati investiti considerevoli ricerche nello sviluppo di 5GL. Man mano che venivano creati programmi più grandi, divenne evidente che l'approccio di trovare un algoritmo con una descrizione del problema, istruzioni logiche e una serie di vincoli è di per sé un problema molto difficile. Durante gli anni '90, l'ondata di clamore che ha preceduto la divulgazione di 5GL e le previsioni che sostituiranno la maggior parte degli altri linguaggi di programmazione, ha lasciato il posto a una realizzazione più sobria.
PROLOG (acronimo di PROgramming LOGic) è un esempio di linguaggio logico di programmazione. Utilizza una forma di logica matematica (calcolo predicato) per risolvere query su un database di fatti e regole fornito dal programmatore.
