PROLOG ( Programmering Logic ) er en deklarativ programmeringsspråk ofte brukt 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 spesifikke kriterier , snarere enn hvordan noe bør 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 deduktive resonnement . Den tillatte språk formler skal tolkes på en slik måte at en logisk konklusjon kunne nås. PROLOG ble opprinnelig begrepsfestet som en måte å automatisere naturlig språk prosessering , men ble snart tatt i bruk for mer allmenngjøring utvikling også. Den ble først brukt til å lage deduktive beslutninger basert på innspill i skriftlig fransk .
Implementering

I 1983 opprettet David H. Warren en maskin arkitektur kalles en " abstrakt maskin ", som kan lede PROLOG anvendelser. Kalt " Warren Abstract Machine " ( WAM ) , ble det standard implementering metode for PROLOG .
Innflytelse

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