Prolog er et fjerde generations programmeringssprog på højt niveau. Det bruges hovedsageligt i kunstig intelligensforskning, applikationer og software og findes normalt kun i ekspertsystemer og meget avanceret teknologi.
Det er et akronym for PROgrammering i LOGik og er et deklarativt sprog. Det betyder, at i stedet for at fortælle computeren præcis, hvilke trin den skal følge, beskriver programmøren det problem, der skal løses i stedet for.
Technipages forklarer Prolog
I sin essens ligner Prolog meget forespørgselssprog, der arbejder med databaser og i databasestyringssystemer som SQL. Der er dog en vigtig forskel - mens et forespørgselssprog har information, der kan hentes, har et programmeringssprog det ikke.
I SQL er det muligt at spørge en database 'Er Susan Maier over 18?' forudsat at oplysningerne er til stede. I et deklarativt programmeringssprog er dette ikke muligt, men i stedet er det muligt at løse matematiske problemer ved at beskrive dem nøje.
Prolog er særligt velegnet til AI-arbejde og computerlingvistik. Udtryk og kode er skrevet ud fra relationer, fakta, regler og standarder. En egentlig beregning udføres derefter ved at indtaste information, der behandles i henhold til disse standarder.
Prolog er også det mest populære logiske programmeringssprog og har været det siden dets undfangelse i 1972. Logiske programmeringssprog er afhængige af klart definerede regler, hvilket gør dem meget adskilte fra objektorienteret programmering (den type sprog, der ofte bruges i brugerorienteret software).
Almindelige anvendelser af Prolog
- Prolog er en forkortelse for PROgramming in LOGic og blev først udtænkt i 1972 af Alain Colmerauer og hans gruppe i Frankrig.
- I dag er Prolog meget populær inden for AI-forskning og applikationer, der understøtter maskinlæring.
- Sammenlignet med sprog som PHP eller Java er Prolog logisk orienteret, hvilket betyder, at det fungerer via et præcist sæt regler, der er unikke for hver applikation.
Almindelig misbrug af Prolog
- Prolog er den første sektion af et stykke kode.