La programación lógica es un paradigma de programación basado en la lógica formal. En lugar de dar instrucciones paso a paso (como en la programación imperativa), el programador define un conjunto de hechos y reglas sobre un dominio, y el sistema utiliza un motor de inferencia para deducir respuestas a consultas específicas.
El término proviene de la combinación de dos conceptos:
* Programación: Del griego *programma* (*πρόγραμμα*), que significa "escrito de antemano" o "edicto".
* Lógica: Del griego *logikós* (*λογικός*), derivado de *logos* (*λόγος*), que se refiere a la razón, el discurso o el estudio de las leyes del pensamiento correcto.
Este paradigma surgió en la década de 1970 como resultado de los esfuerzos en el campo de la Inteligencia Artificial. El hito fundamental fue la creación del lenguaje Prolog (*Programmation en Logique*) en 1972 por Alain Colmerauer y Philippe Roussel en la Universidad de Marsella. Se basó en la cláusula de Horn, un subconjunto de la lógica de primer orden que permite una ejecución eficiente mediante el algoritmo de resolución.
* Prolog: El lenguaje más emblemático y utilizado en la industria y academia.
* Datalog: Una variante simplificada, muy utilizada en bases de datos y análisis de grafos.
* Answer Set Programming (ASP): Un enfoque moderno orientado a problemas de búsqueda combinatoria complejos.
* Mercury: Un lenguaje funcional-lógico diseñado para ser más robusto y eficiente que Prolog.