Innholdsfortegnelse:
Definisjon - Hva betyr Prolog?
Programmering en Logique (Programmering i logikk) eller Prolog er et programmeringsspråk på høyt nivå som har sine røtter i førsteordens logikk eller førsteordens predikatberegning. Språket ble unnfanget i Marseilles, Frankrike på begynnelsen av 1970-tallet av en gruppe ledet av Alain Colmerauer. Det er et av de første programmeringsspråkene for logikk, og det er fortsatt populært i dag. Det er et programmeringsspråk som ofte er assosiert med beregningsspråk og kunstig intelligens og brukes i ekspertsystemer, teorem som beviser og mønstermatching sammenlignet med naturlige språketrær og naturlig språkbehandling.
Techopedia forklarer Prolog
Det første Prolog-systemet ble utviklet i 1972 av Colmerauer sammen med Philippe Roussel og var basert på Robert Kowalskis prosessuelle tolkning av Horn-klausuler. Det var også delvis motivert av ønsket om å forene bruken av logikk som et deklarativt kunnskapsrepresentasjonsspråk med prosessuell fremstilling av kunnskap. Prolog ble målbevisst utviklet for naturlig språkbehandling - opptatt av datamaskin og menneskelig (naturlig) språkinteraksjon.
Prolog skiller seg fra andre programmeringsspråk da det er deklarativt snarere enn sekvenser av kommandoer. Det kalles noen ganger et regelbasert eller deklarativt språk siden det kommer til uttrykk i forhold til forhold mellom objektenes egenskaper, presentert som fakta og regler. En beregning initieres ved å kjøre en spørring om disse relasjonene.
Søknader inkluderer:
- Maskinlæring
- Robotplanlegging
- Automatisert resonnement
- Problemløsning
- Intelligent henting av databaser
- Naturlig språkforståelse
- Spesifikasjonsspråk
