Indholdsfortegnelse:
Definition - Hvad betyder Prolog?
Programmering en Logique (programmering i logik) eller Prolog er et programmeringssprog på højt niveau, der har sine rødder i førsteordens logik eller førsteordens predikatberegning. Sproget blev undfanget i Marseilles, Frankrig i de tidlige 1970'ere af en gruppe ledet af Alain Colmerauer. Det er et af de første logiske programmeringssprog, og det er stadig populært i dag. Det er et programmeringssprog, der almindeligvis er forbundet med computervingvistik og kunstig intelligens, og bruges i ekspertsystemer, teorem, der beviser og mønstermatchning i forhold til naturlige sprog parse træer og naturlig sprogbehandling.
Techopedia forklarer Prolog
Det første Prolog-system blev udviklet i 1972 af Colmerauer sammen med Philippe Roussel og var baseret på Robert Kowalskis proceduremæssige fortolkning af Horn-klausuler. Det var også delvis motiveret af ønsket om at forene brugen af logik som et deklarativt videnrepræsentationssprog med proceduremæssig repræsentation af viden. Prolog blev målrettet udviklet til naturlig sprogbehandling - beskæftiget med computer- og menneskelige (naturlige) sproginteraktioner.
Prolog adskiller sig fra andre programmeringssprog, da det er erklærende snarere end sekvenser af kommandoer. Det kaldes undertiden et regelbaseret eller deklarativt sprog, da det udtrykkes som forhold mellem objekternes egenskaber, præsenteret som kendsgerninger og regler. En beregning initieres ved at køre en forespørgsel om disse relationer.
Ansøgninger inkluderer:
- Maskinelæring
- Robotplanlægning
- Automatiseret ræsonnement
- Problemløsning
- Intelligent databaseindhentning
- Naturlig sprogforståelse
- Specifikationssprog
