Prolog er et fjerdegenerasjons programmeringsspråk på høyt nivå. Den brukes hovedsakelig i forskning, applikasjoner og programvare innen kunstig intelligens, og finnes vanligvis bare i ekspertsystemer og svært avansert teknologi.
Det er et akronym for PROgrammering i LOGic, og er et deklarativt språk. Det betyr at i stedet for å fortelle datamaskinen nøyaktig hvilke trinn som skal følges, beskriver programmereren problemet som må løses i stedet.
Technipages forklarer Prolog
I sin essens ligner Prolog veldig på spørringsspråk som fungerer med databaser og i databasestyringssystemer som SQL. Det er imidlertid en viktig forskjell – mens et spørringsspråk har informasjon som kan hentes, har ikke et programmeringsspråk det.
I SQL er det mulig å spørre en database «Er Susan Maier over 18?» forutsatt at informasjonen er til stede. I et deklarativt programmeringsspråk er dette ikke mulig, men i stedet er det mulig å løse matematiske problemer ved å beskrive dem nøye.
Prolog er spesielt egnet for AI-arbeid og datalingvistikk. Uttrykk og kode er skrevet i form av relasjoner, fakta, regler og standarder. En faktisk beregning kjøres deretter ved å legge inn informasjon som er behandlet i henhold til disse standardene.
Prolog er også det mest populære logiske programmeringsspråket og har vært det siden unnfangelsen i 1972. Logiske programmeringsspråk er avhengige av klart definerte regler, noe som gjør dem svært forskjellige fra objektorientert programmering (den typen språk som ofte brukes i brukerorientert programvare).
Vanlige bruk av Prolog
- Prolog er forkortelse for PROgramming in LOGic, og ble først unnfanget i 1972 av Alain Colmerauer og hans gruppe i Frankrike.
- I dag er Prolog veldig populær innen AI-forskning og applikasjoner som støtter maskinlæring.
- Sammenlignet med språk som PHP eller Java, er Prolog logikkorientert, noe som betyr at det fungerer via et presist sett med regler som er unike for hver applikasjon.
Vanlige misbruk av Prolog
- Prolog er den første delen av en hvilken som helst kodebit.