Prolog är ett fjärde generationens programmeringsspråk på hög nivå. Det används huvudsakligen i forskning om artificiell intelligens, applikationer och mjukvara, och finns vanligtvis bara i expertsystem och mycket avancerad teknik.
Det är en akronym för PROgrammering i LOGic och är ett deklarativt språk. Det betyder att i stället för att tala om för datorn exakt vilka steg som ska följas, beskriver programmeraren problemet som måste lösas istället.
Technipages förklarar Prolog
I sitt väsen påminner Prolog mycket om frågespråk som fungerar med databaser och i databashanteringssystem som SQL. Det finns dock en viktig skillnad – medan ett frågespråk har information som kan hämtas, har inte ett programmeringsspråk det.
I SQL är det möjligt att fråga en databas "Är Susan Maier över 18?" förutsatt att informationen finns. I ett deklarativt programmeringsspråk är detta inte möjligt, men istället är det möjligt att lösa matematiska problem genom att beskriva dem noggrant.
Prolog är särskilt lämpat för AI-arbete och beräkningslingvistik. Uttryck och kod skrivs i termer av relationer, fakta, regler och standarder. En faktisk beräkning körs sedan genom att mata in information som behandlas enligt dessa standarder.
Prolog är också det mest populära logiska programmeringsspråket och har varit det sedan starten 1972. Logiska programmeringsspråk förlitar sig på tydligt definierade regler, vilket gör dem väldigt olika från objektorienterad programmering (den typ av språk som ofta används i användarorienterad programvara).
Vanliga användningar av Prolog
- Prolog är en förkortning för PROgramming in LOGic, och skapades först 1972 av Alain Colmerauer och hans grupp i Frankrike.
- Idag är Prolog mycket populärt inom AI-forskning och applikationer som stödjer maskininlärning.
- Jämfört med språk som PHP eller Java är Prolog logikorienterad, vilket innebär att den fungerar via en exakt uppsättning regler som är unika för varje applikation.
Vanliga missbruk av Prolog
- Prolog är den första delen av en kod.