Hva er Prolog?

Prolog, som ble unnfanget på begynnelsen av 1970-tallet, er sannsynligvis en kombinasjon av ordene program og logikk, og er et av de tidligste programmeringsspråkene for datamaskiner. Delvis fordi det er veldig enkel kode, ved å bruke førsteordens logikk og lite beregning, er den fortsatt i populær bruk. Det originale instruksjonssettet er betydelig forstørret og utviklet til mange varianter fordi det er spesielt godt egnet til prosessspråk. Disse to primære attributtene til programmet gir behandling for applikasjoner som kunstig intelligens og automatisert telekommunikasjon.

Prolog bruker formell, førsteordens logikk. Instruksjonene som lastes opp til en datamaskin er faste; de har ikke uklar beregningsvekt. Uttrykkelig er syntaks for språket et begrenset regelverk, og semantikken er definert, vanligvis av sett som enkeltbeskrivelser, flere lister og strenger, eller av et område som numeriske sekvenser.

Sammen med noe bedre kjent koding som for eksempel hypertekstmarkeringsspråk (HTML), er Prolog i en klasse programvare som ofte kalles deklarative programmeringsspråk, som karakteristisk bruker det enkle utsagnet "X tilsvarer Y", definert som et "begrep." En datamaskin er fortalte hva jeg skulle gjøre; det blir ikke instruert til å beregne på egenhånd hvordan du kommer dit. Datamaskinen får et faktsett med et "predikat" og relasjoner, definert som en "klausul," hvorfra en inngangsspørring skal gi en sann eller falsk utgangskonklusjon. Den utfører ikke en algoritme, men avleder heller et enkelt svar ved å legge til og trekke fra eller negere fra det kjente definisjonssettet. Computing i Prolog brukes til å teste og bevise teorier og deres underliggende forutsetninger, fra avansert matematikk til biologi til filosofi.

En av de kognitive teoriene om intelligens er at det er en stor, men begrenset leksikalsk lagring av informasjon i hjernen som blir hentet, behandlet og matet tilbake, noe som resulterer i større kompleksitet eller enkelhet av informasjonen. Med økende minnekapasitet og rask tilgang er dette det dominerende paradigmet som har drevet datavitenskapens hellige gral - kunstig intelligens. Det som er nøkkelen ifølge mange i feltet er grensesnitt og språk. Prolog-programmering kan brukes til å lage GUIer, det grafiske brukergrensesnittet som er pioner for Apple®, ved ganske enkelt å definere visuelle symboler. Det kan også brukes til å lese, oversette og skape ansiktsuttrykk.

Computational lingvistikk er vesentlig vanskeligere, og selv om Prolog har utviklet seg gjennom årene for å inkorporere for eksempel de unike grammatiske prinsippene til noen fremmede språk, stiller mange forskere spørsmål ved om det effektivt representerer språk. For begrensede ekspertsystemer, for eksempel datastyrte teknisk supporttelefonlinjer for stemmegjenkjenning, brukes Prolog-programmering til en viss grad av effektivitet. Den kan også integreres i høyere ordens logikkprogramvare - kvantifisere språk som C + eller java - men komprimering og portabilitet er fortsatt problemer som holder ut for dette datakrevende programmeringsspråket.