Opracowany na początku lat 1970. Prolog, najprawdopodobniej połączenie słów program i logika, jest jednym z najwcześniejszych języków programowania komputerowego. Po części dlatego, że jest to bardzo prosty kod, wykorzystujący logikę pierwszego rzędu i mało obliczeń, nadal jest w powszechnym użyciu. Oryginalny zestaw instrukcji został znacznie powiększony i rozwinięty do wielu wariantów, ponieważ jest szczególnie dobrze przystosowany do przetwarzania języka. Te dwa podstawowe atrybuty programu zapewniają przetwarzanie dla aplikacji takich jak sztuczna inteligencja i zautomatyzowana telekomunikacja.
Prolog używa formalnej logiki pierwszego rzędu. Instrukcje przesłane do komputera są stanowcze; nie mają rozmytego, obliczeniowego ważenia. W wyrażeniu składnia języka jest skończonym zbiorem reguł, a semantyka jest zdefiniowana, zwykle za pomocą zestawów takich jak pojedyncze deskryptory, wielokrotne listy i ciągi lub przez zakres, taki jak sekwencje liczbowe.
Wraz z niektórymi lepiej znanymi kodami, takimi jak język znaczników hipertekstowych (HTML), Prolog należy do klasy oprogramowania powszechnie zwanych deklaratywnymi językami programowania, które w charakterystyczny sposób używają prostego stwierdzenia „X równa się Y”, zdefiniowanego jako „termin”. Komputerowi mówi się, co ma robić; nie ma instrukcji, aby samodzielnie obliczyć, jak się tam dostać. Komputer otrzymuje zestaw faktów z „predykatem” i relacjami zdefiniowanymi jako „klauzula”, z których zapytanie wejściowe powinno dać wynik prawdziwy lub fałszywy. Nie wykonuje algorytmu, ale raczej wyprowadza prostą odpowiedź, dodając i odejmując lub negując ze znanego zestawu definicji. Obliczenia w Prologu służą do testowania i udowadniania teorii i leżących u ich podstaw założeń, od zaawansowanej matematyki, przez biologię, po filozofię.
Jedna z poznawczych teorii inteligencji mówi, że w mózgu znajduje się duży, ale ograniczony leksykalny magazyn informacji, który jest odzyskiwany, przetwarzany i zwracany, co skutkuje większą złożonością lub prostotą informacji. Wraz ze wzrostem pojemności pamięci i szybkim dostępem jest to dominujący paradygmat, który napędza świętego Graala informatyki — sztuczną inteligencję. Według wielu w tej dziedzinie kluczem jest interfejs i język. Programowania Prolog można używać do tworzenia graficznych interfejsów użytkownika, graficznego interfejsu użytkownika opracowanego przez firmę Apple®, poprzez proste zdefiniowanie symboli wizualnych. Może być również używany do czytania, tłumaczenia i tworzenia wyrazu twarzy.
Językoznawstwo komputerowe jest znacznie trudniejsze i chociaż Prolog z biegiem lat rozwijał się, aby włączyć na przykład unikalne zasady gramatyczne niektórych języków obcych, wielu badaczy kwestionuje, czy skutecznie reprezentuje język. W przypadku ograniczonych systemów eksperckich, takich jak skomputeryzowane linie telefoniczne wsparcia technicznego rozpoznawania głosu, programowanie Prolog jest wykorzystywane do pewnego stopnia skuteczności. Można go również zintegrować z oprogramowaniem logicznym wyższego rzędu — językami kwantyfikacji, takimi jak C+ lub Java — ale kompresja i przenośność pozostają problemami, które występują w tym intensywnym języku programowania.