Nazwa Prolog wzięła się od francuskiego Programmation en Logique, co oznacza programowanie w logice. Prolog został stworzony przez Alaina Colmeraurera i Phillipe’a Roussela w 1971 roku. Jest jednym z najpopularniejszych języków opartych na programowaniu w logice. Służy do automatycznej analizy języków naturalnych, sprawdza się w sztucznej inteligencji, a także w systemach ekspertowych, czy w dowodzeniu twierdzeń matematycznych. W przeciwieństwie do popularnych języków programowania jest językiem deklaratywnym, co oznacza, że programista musi opisać warunki, jakie musi spełnić ostateczne rozwiązanie, a nie kroki, które prowadzą do tego rozwiązania –
CO chcemy osiągnąć, a nie JAK to chcemy zrobić
Program w Prologu składa się z faktów i reguł, z których korzystamy przy zadawaniu zapytań. Język ten opiera się o rachunek predykatyw pierwszego rzędu ograniczony do klauzul Horna, choć istnieją wbudowane predykaty, które należą do wyższych rzędów.
Współcześnie istnieje wiele kompilatorów języka Prolog, w tym:
- SWI-Prolog http://www.swi-prolog.org/
- YAProlog http://www.dcc.fc.up.pt/~vsc/Yap/
- GNU-Prolog http://www.gprolog.org/