Innholdsfortegnelse:
- Definisjon - Hva betyr Fifth Generation (Programming) Language (5GL)?
- Techopedia forklarer Fifth Generation (Programming) Language (5GL)
Definisjon - Hva betyr Fifth Generation (Programming) Language (5GL)?
Et femte generasjonsspråk (programmeringsspråk) (5GL) er en gruppe programmeringsspråk som bygger på en forutsetning om at et problem kan løses, og en applikasjon som er bygget for å løse det, ved å gi begrensninger til programmet (begrensningsbasert programmering), i stedet for å spesifisere algoritmisk hvordan problemet skal løses (imperativ programmering).
I hovedsak brukes programmeringsspråket for å betegne egenskapene, eller logikken, til en løsning, i stedet for hvordan det nås. De fleste begrensningsbaserte og logiske programmeringsspråk er 5GL-er. En vanlig misforståelse rundt 5GL-er gjelder praksis hos noen 4GL-leverandører for å betegne produktene sine som 5GL-er, når produktene i hovedsak er utviklet og forbedret 4GL-verktøy.
Også kjent som et 5. generasjons språk.
Techopedia forklarer Fifth Generation (Programming) Language (5GL)
Hoppet utover 4GLs søkes ved å ta en annen tilnærming til beregningsutfordringen med å løse problemer. Når programmereren dikterer hvordan løsningen skal se ut, ved å spesifisere forhold og begrensninger på en logisk måte, står datamaskinen da fri til å søke etter en passende løsning. De fleste av de aktuelle problemene som løses med denne tilnærmingen, kan for øyeblikket finnes innenfor området kunstig intelligens.
Det har blitt investert betydelig forskning på 1980- og 1990-tallet for å utvikle 5GL-er. Etter hvert som større programmer ble bygget, ble det tydelig at tilnærmingen til å finne en algoritme gitt en problembeskrivelse, logiske instruksjoner og et sett med begrensning er et veldig vanskelig problem i seg selv. I løpet av 1990-tallet ga bølgen av hype som gikk foran populariseringen av 5GL-er og spådommer om at de vil erstatte de fleste andre programmeringsspråk, vike for en mer nøktern erkjennelse.
PROLOG (forkortelse for PROgramming LOGic) er et eksempel på et logisk programmeringsspråk. Den bruker en form for matematisk logikk (predikatberegning) for å løse spørsmål i en programmerer-gitt database med fakta og regler.
