Conceput la începutul anilor 1970, Prolog, cel mai probabil o combinație a cuvintelor program și logică, este unul dintre cele mai vechi limbaje de programare pentru computere. În parte, deoarece este un cod foarte simplu, folosind logica de prim ordin și calcul puțin, este încă în uz popular. Setul de instrucțiuni inițial a fost extins considerabil și dezvoltat în multe variante, deoarece este deosebit de potrivit pentru procesarea limbajului. Aceste două atribute principale ale programului asigură procesarea pentru aplicații precum inteligența artificială și telecomunicațiile automate.
Prolog folosește logica formală, de ordinul întâi. Instrucțiunile încărcate pe un computer sunt ferme; nu au o ponderare computațională neclară. În expresie, sintaxa limbajului este un set finit de reguli, iar semantica este definită, de obicei prin seturi precum descriptori unici, liste și șiruri multiple sau printr-un interval precum secvențele numerice.
Alături de o codificare mai cunoscută, cum ar fi limbajul de marcare hipertext (HTML), Prolog face parte dintr-o clasă de software numită în mod obișnuit limbaje de programare declarative, care utilizează în mod caracteristic afirmația simplă „X este egal cu Y”, definită ca „termen”. Un computer i se spune ce să facă; nu este instruit să calculeze singur cum să ajungă acolo. Calculatorului i se oferă un set de fapte cu un „predicat” și relații, definite ca o „clauză”, din care o interogare de intrare ar trebui să producă o concluzie de ieșire adevărată versus falsă. Nu execută un algoritm, ci mai degrabă obține un răspuns simplu prin adăugarea și scăderea sau negația din setul său cunoscut de definiții. Calculul în Prolog este folosit pentru a testa și dovedi teoriile și ipotezele care stau la baza acestora, de la matematică avansată la biologie la filozofie.
Una dintre teoriile cognitive ale inteligenței este că există un depozit lexical mare, dar finit, de informații în creier, care este recuperat, procesat și alimentat, rezultând o mai mare complexitate sau simplitate a informațiilor. Odată cu creșterea capacității de memorie și acces rapid, aceasta este paradigma dominantă care a condus Sfântul Graal al informaticii – inteligența artificială. Ceea ce este cheia potrivit multora din domeniu este interfața și limbajul. Programarea Prolog poate fi folosită pentru a crea interfețe grafice cu utilizatorul, interfața grafică cu utilizatorul lansată de Apple®, prin simpla definire a simbolurilor vizuale. Poate fi folosit și pentru a citi, traduce și crea expresii faciale.
Lingvistica computațională este substanțial mai dificilă și, în timp ce Prolog a avansat de-a lungul anilor pentru a încorpora, de exemplu, principiile gramaticale unice ale unor limbi străine, mulți cercetători se întreabă dacă reprezintă limba în mod eficient. Pentru sistemele expert limitate, cum ar fi liniile telefonice de suport tehnic de recunoaștere a vocii computerizate, programarea Prolog este utilizată într-un anumit grad de eficacitate. Poate fi, de asemenea, integrat în software-ul de logică de ordin superior – limbaje de cuantificare precum C+ sau java – dar compresia și portabilitatea rămân probleme care persistă pentru acest limbaj de programare cu consum mare de date.