La programación lógica es una variedad de lo que conocemos con programación declarativa, un paradigma opuesto a prácticamente todos los lenguajes de programación populares, desde ensamblador a Python pasando por BASIC, C o Java, a los que agrupamos en la categoría de la programación imperativa.

En dichos lenguajes, la labor del programador es establecer cómo se resuelve un problema mediante sentencias. Sin embargo, la programación lógica no gira en torno al cómo, sino al qué: se trabaja de forma descriptiva, estableciendo relaciones entre entidades, lo que obliga a los que los lenguaje tengan un alto nivel de abstracción.
Este paradigma se basa en la fórmula "algoritmos = lógica + control" (la llamada Ecuación Informal de Kowalski), lo que significa que un algoritmo se crea especificando conocimiento mediante axiomas (lógica) y el problema se resuelve mediante un mecanismo de inferencia que actúa sobre el mismo (control).

Entre los lenguajes de programación lógica podemos destacar Prolog, Lisp o Erlang. Utilizaremos el primero de ellos como ejemplo:

¿Qué es Prolog?

Prolog (derivado de "PROgrammation en LOGique") nació a comienzos de la década de los 70, de la mano de un investigador de la Universidad de Marsella (Alain Colmerauer), mientras dirigiía en un proyecto de tratamiento algorítmico de lenguajes naturales.

En Xataka

20 años después quiero volver a programar: qué grandes cambios ha habido y por dónde empezar

Inicialmente se trataba de un lenguaje interpretado hasta que, una década más tarde, …