Indholdsfortegnelse:
- Definition - Hvad betyder femte generation (programmering) sprog (5GL)?
- Techopedia forklarer Fifth Generation (Programming) Language (5GL)
Definition - Hvad betyder femte generation (programmering) sprog (5GL)?
Et femte generations sprog (programmeringssprog) (5GL) er en gruppe programmeringssprog, der bygger på en forudsætning om, at et problem kan løses, og en applikation, der er bygget til at løse det, ved at give begrænsninger til programmet (begrænsningsbaseret programmering) i stedet for specificering algoritmisk, hvordan problemet skal løses (imperativ programmering).
I det væsentlige bruges programmeringssproget til at betegne egenskaberne eller logikken i en løsning snarere end hvordan det nås. De fleste begrænsningsbaserede og logiske programmeringssprog er 5GL'er. En almindelig misforståelse omkring 5GL'er vedrører praksis hos nogle 4GL-leverandører til at betegne deres produkter som 5GL'er, når produkterne i det væsentlige udvikles og forbedres 4GL-værktøjer.
Også kendt som et 5. generations sprog.
Techopedia forklarer Fifth Generation (Programming) Language (5GL)
Springet ud over 4GL'er søges ved at tage en anden tilgang til den beregningsmæssige udfordring ved at løse problemer. Når programmereren dikterer, hvordan løsningen skal se ud ved at specificere betingelser og begrænsninger på en logisk måde, er computeren derefter fri til at søge efter en passende løsning. De fleste af de relevante problemer, der løses ved denne fremgangsmåde, findes i øjeblikket inden for området kunstig intelligens.
Der er investeret betydelig forskning i 1980'erne og 1990'erne i udviklingen af 5GL'er. Efterhånden som større programmer blev bygget, blev det tydeligt, at fremgangsmåden til at finde en algoritme givet en problembeskrivelse, logiske instruktioner og et sæt begrænsninger er et meget hårdt problem i sig selv. I løbet af 1990'erne gav bølgen af hype, der gik forud for populariseringen af 5GL'er og forudsigelser om, at de ville erstatte de fleste andre programmeringssprog, plads til en mere sober realisering.
PROLOG (akronym for PROgramming LOGic) er et eksempel på et logisk programmeringssprog. Det bruger en form for matematisk logik (predikatberegning) til at løse forespørgsler på en programmerer-givet database med fakta og regler.
