Sisällysluettelo:
- Määritelmä - Mitä viidennen sukupolven (ohjelmointikieli) (5GL) tarkoittaa?
- Techopedia selittää viidennen sukupolven (ohjelmointikielen) (5GL)
Määritelmä - Mitä viidennen sukupolven (ohjelmointikieli) (5GL) tarkoittaa?
Viidennen sukupolven (ohjelmointikieli) (5GL) on ryhmä ohjelmointikieliä, jotka perustuvat oletukseen, että ongelma voidaan ratkaista, ja sovellus, joka rakennetaan sen ratkaisemiseksi, tarjoamalla ohjelmalle rajoituksia (rajoitepohjainen ohjelmointi) sen sijaan, että määrittelemällä algoritmisesti kuinka ongelma ratkaistaan (pakollinen ohjelmointi).
Pohjimmiltaan ohjelmointikieltä käytetään kuvaamaan ratkaisun ominaisuuksia tai logiikkaa sen sijaan, miten siihen päästään. Suurin osa rajoitepohjaisista ja loogisista ohjelmointikieleistä on 5GL. Yleinen väärinkäsitys 5GL: stä liittyy joidenkin 4GL-myyjien käytäntöön kuvailla tuotteitaan 5GL: ksi, kun pohjimmiltaan tuotteita kehitetään ja parannetaan 4GL-työkaluina.
Tunnetaan myös nimellä 5. sukupolven kieli.
Techopedia selittää viidennen sukupolven (ohjelmointikielen) (5GL)
Hypyn 4GL: n ulkopuolelle pyritään ottamalla erilainen lähestymistapa laskennallisiin haasteisiin ongelmien ratkaisemiseksi. Kun ohjelmoija sanelee ratkaisun näyttämisen määrittelemällä ehdot ja rajoitukset loogisella tavalla, tietokone voi sitten vapaasti etsiä sopivaa ratkaisua. Suurin osa tämän lähestymistavan avulla ratkaistuista ongelmista löytyy nykyisin tekoälyn alueelta.
1980- ja 1990-luvuilla on panostettu huomattavaan tutkimukseen 5GL: n kehittämiseen. Kun suurempia ohjelmia rakennettiin, kävi ilmeiseksi, että lähestymistapa algoritmin löytämiseen antaa ongelman kuvauksen, loogiset ohjeet ja rajoitukset ovat sinänsä erittäin vaikea ongelma. 1990-luvulla 5GL: n suosimista edeltänyt hype-aalto ja ennusteet, että ne korvaavat useimmat muut ohjelmointikielet, antoivat tietä raikkaammalle toteutumiselle.
PROLOG (lyhenne PROGRming LOGic) on esimerkki loogisesta ohjelmointikielestä. Se käyttää matemaattisen logiikan muotoa (predikaattilaskenta) kysymysten ratkaisemiseksi ohjelmoijan antamassa tosiasioiden ja sääntöjen tietokannassa.
