Prolog er et programmeringsspråk, men et ganske uvanlig ett. Navnet 'Prolog' er en forkortelse for 'Programming with Logic', og forbindelsen til logikk gir Prolog sin spesielle karakter. Kjernen i Prolog hviler på en overraskende idé: ikke fortell datamaskinen hva den skal gjøre. I stedet beskriver du situasjoner av interesse, og beregner ved å stille spørsmål. Prolog vil logisk utlede nye fakta om situasjonene og gi oss sine konklusjoner som svar. Hva er grunnen til å lære Prolog? For det første gjør dens tilnærming, hvor man sier hva problemet er i stedet for hvordan det skal løses, at det er et svært høy-nivå språk, godt egnet for kunnskapsrike applikasjoner som kunstig intelligens, naturlig språkbehandling og det semantiske nettet. Ved å studere Prolog oppnår du en forståelse av hvordan komplekse oppgaver kan håndteres datamessig. I tillegg krever Prolog en annen tankegang. Du må lære å se problemer fra et nytt perspektiv, deklarativt snarere enn prosedyremessig.
