Skip to main content

Prolog es el lenguaje de programación lógica más comúnmente utilizado. Soporta la programación no determinista a través de la vuelta atrás cronológica, y el ajuste de patrones a través de la unificación.

Prolog, proveniente del francés PROgrammation en LOGique, es el lenguaje de programación lógica más antiguo y popular. Su ejecución se basa en dos conceptos: la unificación y la vuelta atrás.

Programación en PROLOG

Los programas en Prolog se componen de cláusulas de Horn que constituyen reglas del tipo modus ponendo ponens. Existen dos tipos de cláusulas: hechos y reglas.

Una regla es del tipo Cabeza :- Cuerpo., y se lee como "la cabeza es verdad si el cuerpo es verdad". Por ejemplo, la concatenación de una lista [H|T] con una lista X es otra lista [H|S] si la concatenación de la lista T con la lista X es la lista S:

append([H|T], X, [H|S]) :- append(T, X, S).

Un hecho es una regla que no tiene cuerpo, es decir, es una regla que siempre es verdad. Por ejemplo, la concatenación de una lista vacía [] con una lista X cualquiera es la propia lista X:

append([], X, X).

Implementaciones