La programación lógica es un paradigma de programación que se basa en el uso de declaraciones lógicas para expresar hechos y reglas sobre un problema. En lugar de describir cómo realizar una tarea, se enfoca en qué es cierto y permite que el sistema deduzca la solución a partir de esa información. Un ejemplo común de programación lógica es el lenguaje Prolog, que se utiliza en inteligencia artificial y procesamiento de lenguaje natural. Este enfoque permite a los programadores definir relaciones y consultas, facilitando la resolución de problemas complejos mediante inferencias lógicas.