Taula de continguts:
- Definició: què significa el llenguatge de cinquena generació (programació) (5GL)?
- Techopedia explica el llenguatge de la cinquena generació (programació) (5GL)
Definició: què significa el llenguatge de cinquena generació (programació) (5GL)?
Un cinquè llenguatge (programació) de cinquena generació (5GL) és una agrupació de llenguatges de programació basats en la premissa que un problema pot ser resolt i una aplicació creada per solucionar-ho, proporcionant restriccions al programa (programació basada en restriccions), en lloc que especificant algoritmicament com s’ha de resoldre el problema (programació imperativa).
En essència, el llenguatge de programació s’utilitza per a indicar les propietats, o lògica, d’una solució, més que com s’aconsegueix. La majoria de llenguatges de programació basats en restriccions i lògics són 5GL. Una concepció errònia comuna sobre els 5GL es refereix a la pràctica d’alguns venedors de 4GL a denominar els seus productes com a 5GL, quan en essència els productes són evolucionats i milloren eines 4GL.
També conegut com a idioma de 5a generació.
Techopedia explica el llenguatge de la cinquena generació (programació) (5GL)
El salt més enllà dels 4GLs es busca aprofitant una aproximació diferent al repte computacional de la resolució de problemes. Quan el programador dicta com hauria de tenir la solució, especificant condicions i restriccions de manera lògica, l'ordinador és lliure per cercar una solució adequada. La majoria dels problemes aplicables resolts amb aquest plantejament es poden trobar actualment en el domini de la intel·ligència artificial.
S'han invertit considerables investigacions durant els anys vuitanta i noranta en el desenvolupament de 5GL. A mesura que es construïen programes més grans, es va fer evident que l'enfocament de trobar un algoritme donada una descripció del problema, instruccions lògiques i un conjunt de restriccions és un problema molt dur en si mateix. Durant els anys 90, l'onada de bombo que va precedir la popularització de 5GL i les prediccions que substituiran la majoria dels altres llenguatges de programació, va donar lloc a una realització més sòbria.
PROLOG (acrònim de PROgramming LOGic) és un exemple d’un llenguatge de programació lògica. Utilitza una forma de lògica matemàtica (càlcul de predicats) per resoldre consultes sobre una base de dades de fets i regles donada per un programador.
