Proviene del francés Programation et Logique. Lenguaje de programación de tipo lógico e interpretado. Utilizado especialmente en investigaciones sobre Inteligencia Artificial.

Fue ideado a principios del 70 en la universidad de Aix-Marseille por los profesores Alain Colmerauer y Phillipe Roussel.

Al principio era sólo un lenguaje interpretado; luego, a mediados de los 70, David Warren desarrolló un compilador que traducía Prolog a un conjunto de instrucciones de una máquina abstracta denominada Warren Abstract Machine (WAM). Desde ese momento Prolog es un lenguaje semi-interpretado.

En clasificación por paradigmas, el lenguaje de programación Prolog pertenece al paradigma lógico.