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
- SWI-Prolog (gratis) swi-prolog
- SICStus Prolog (comercial) sicstus-prolog
- GNU Prolog (gratis) gnu-prolog
- Tau Prolog (gratis) tau-prolog
- Yap-Prolog (gratis) yap-prolog