Čo je programovací jazyk piatej generácie (5gl)? - definícia z technológie

Definícia - Čo znamená jazyk piatej generácie (programovací jazyk) (5GL)?

Piaty generačný (programovací) jazyk (5GL) je zoskupenie programovacích jazykov, ktoré vychádza z predpokladu, že problém možno vyriešiť, a aplikácie postavenej na jeho vyriešenie poskytnutím obmedzení programu (programovanie založené na obmedzeniach), nie algoritmické špecifikovanie spôsobu riešenia problému (imperatívne programovanie).

Programovací jazyk sa v podstate používa na označenie vlastností alebo logiky riešenia, nie ako sa dosiahne. Väčšina programovacích jazykov založených na obmedzeniach a logike je 5GL. Bežná mylná predstava o 5GL sa týka praxe niektorých predajcov 4GL označovať svoje výrobky ako 5GL, keď sa v podstate tieto výrobky vyvíjajú a vylepšujú 4GL nástroje.

Známy tiež ako jazyk 5. generácie.

Techopedia vysvetľuje jazyk piatej generácie (programovanie) (5GL)

Pokrok za hranicami 4GL sa hľadá odlišným prístupom k výpočtovej výzve riešenia problémov. Keď programátor diktuje, ako by malo riešenie vyzerať logickým spôsobom, podmienky a obmedzenia sa dajú určiť tak, aby počítač mohol hľadať vhodné riešenie. Väčšina použiteľných problémov, ktoré sa týmto prístupom riešia, sa v súčasnosti nachádza v oblasti umelej inteligencie.

Značný výskum sa investoval v 80. a 90. rokoch do vývoja 5GL. Pri zostavovaní väčších programov sa ukázalo, že prístup k nájdeniu algoritmu vzhľadom na opis problému, logické pokyny a súbor obmedzení je sám osebe veľmi ťažkým problémom. Počas deväťdesiatych rokov minulého storočia vlna humbuk, ktorá predchádzala popularizácii 5GL a predpovediam, že nahradia väčšinu ostatných programovacích jazykov, umožnila striedmejšiu realizáciu.

PROLOG (skratka pre PROgramming LOGic) je príkladom logického programovacieho jazyka. Používa formu matematickej logiky (predikátový počet) na riešenie dotazov na databázu skutočností a pravidiel, ktorú poskytuje programátor.