Corto para la programación en lógica o programation et logique (francés), prolog es un lenguaje de programación desarrollado por Alain Colmeraur y sus colegas en la Universidad de Marsella en 1972. Prolog se usa comúnmente para IA, y a diferencia de otros lenguajes de programación, Prolog se basa en Un conjunto de reglas en lugar de instrucciones.

AI, Términos de inteligencia artificial, Abreviaturas de computadoras, Lógica de programas, Términos de programación