Tartalomjegyzék:
- Meghatározás - Mit jelent az ötödik generációs (programozási) nyelv (5GL)?
- A Techopedia magyarázza az ötödik generációs (programozási) nyelvet (5GL)
Meghatározás - Mit jelent az ötödik generációs (programozási) nyelv (5GL)?
Az ötödik generációs (programozási) nyelv (5GL) a programozási nyelvek egy csoportja, amely arra a feltevésre épül, hogy egy probléma megoldható, és annak felépítésére egy alkalmazás épül, mivel a programhoz kényszerítést nyújt (kényszer alapú programozás), nem pedig algoritmikusan meghatározza a probléma megoldásának módját (imperatív programozás).
Lényegében a programozási nyelvet a megoldás tulajdonságainak vagy logikájának a jelölésére használják, nem pedig annak elérésének módjára. A legtöbb kényszer alapú és logikai programozási nyelv 5GL. Az 5GL-kel kapcsolatos általános tévképzés egyes 4GL-gyártók gyakorlatára vonatkozik, hogy termékeiket 5GL-ként jelölik, amikor lényegében a termékeket fejlesztették ki és továbbfejlesztették a 4GL eszközöket.
5. generációs nyelvként is ismert.
A Techopedia magyarázza az ötödik generációs (programozási) nyelvet (5GL)
A 4GL-nél nagyobb ugrást arra törekszik, hogy eltérő megközelítést alkalmazzon a problémák megoldásának számítási kihívásaira. Amikor a programozó diktálja, hogy a megoldásnak hogyan kell kinéznie, a feltételeket és a korlátozásokat logikusan meghatározva, akkor a számítógép szabadon keresi a megfelelő megoldást. Az ezzel a megközelítéssel megoldott alkalmazható problémák többsége jelenleg a mesterséges intelligencia területén található.
Jelentős kutatást fektettek be az 1980-as és 1990-es években az 5GL-k fejlesztéséhez. Ahogy nagyobb programokat építettek, nyilvánvalóvá vált, hogy egy algoritmus megtalálásának megközelítése, amely megadja a probléma leírását, a logikai utasításokat és a kényszerhalmazt, önmagában nagyon nehéz probléma. Az 1990-es években az 5GL-ek népszerűsítését megelőző hype hullám és annak előrejelzése, hogy ezek a legtöbb más programozási nyelv helyébe lépnek, enyhítette a megvalósítást.
A PROLOG (a PROGRming LOGic rövidítése) a logikai programozási nyelv egyik példája. A matematikai logika egy formáját (predikátumszámítás) használja a programozók által megadott tények és szabályok adatbázisában szereplő kérdések lekérdezéséhez.
