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.
3 de 3
Mejoras del formato. Añadidos enlaces a implementaciones. Añadida breve explicación del funcionamiento del lenguaje.