LenguajeProlog es el lenguaje de programación lógico e interpretado (Prolog)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.
Mejoras del formato. Añadidos enlaces a implementaciones. Añadida breve explicación del funcionamiento del lenguaje.
se añadieron 56 caracteres en el cuerpo