Historien om Prolog Programming Language

PROLOG (Programming Logic) er en deklarativ programmeringsspråk som ofte brukes i programmering kunstig intelligens (AI) applikasjoner. En deklarative språket er et programmeringsspråk som bestemmer hva som bør gjøres som et resultat av bestemte kriterier, snarere enn hvordan noe skal gjøres.

Origins

PROLOG ble opprettet mellom 1971 og 1973 av Philippe Roussel og Alain Colmerauer som en praktisk utvikling språk basert på ideen av automatiserte deduktiv resonnering. Språk tillates formler tolkes på en slik måte at en logisk konklusjon kan nås. PROLOG ble opprinnelig begrepsfestet som en måte å automatisere naturlig språk prosessering, men ble snart tatt i bruk for mer generell applikasjonsutvikling også. Den ble først brukt til å lage deduktive beslutninger basert på innspill i skriftlig fransk.

Gjennomføring

I 1983, David H. Warren laget en maskin arkitektur som kalles en "abstrakt maskin", som kan veilede PROLOG applikasjoner. Kalt "Warren Abstract Machine" (WAM), ble det den standard implementering metode for PROLOG.

Innflytelse

PROLOG har hatt en rekke innvirkning på feltet informatikk. Som den opprinnelige logikk-basert programmering langauge, har det tillatt for tilskuddene til relasjonsdatabaser for å skape en ny form for database kalt dedutive databaser. Fra 1980-tallet og framover, det påvirket dannelsen av intelligente datasystemer, begrensning logikk programmering, induktiv logikk programmering, og maskinlæring.