El Prolog, es muy conocido conocido en el medio de investiga, El Prolog, es muy conocido conocido en el medio de investigación en Inteligencia Artificial. Se trata de un lenguaje de programación ideado a principios de los años 70 en la Universidad de Aix-Marseille I por los profesores Alain Colmerauer y Philippe Roussel.
Prolog se enmarca en el paradigma de los lenguajes lógicos y declarativos, lo que lo diferencia enormemente de otros lenguajes más populares tales como Fortran, Pascal, C o Java.
Se componen de cláusulas de Horn que constituyen reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el antecedente, entonces es verdad el consecuente". Cada objetivo se separa con una coma y puede considerarse similar a una instrucción o llamada a procedimiento de los lenguajes imperativos. no existen instrucciones de control. Su ejecución se basa en dos conceptos: la unificación y el backtracking.