La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación con restricciones, programas DSL (de dominio específico) e híbridos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático. La programación lógica gira en torno al concepto de predicado, o relación entre elementos.

(Wikipedia)

El presente manual trata los siguientes temas:

• El sistema deductivo de Prolog
• Introducción a la programación lógica con Prolog
• Programación con Prolog
• Resolución de problemas de espacios de estados
• Procesamiento del lenguaje natural
• Ingeniería del conocimiento y metaintérpretes
• Razonamiento por defecto y razonamiento abductivo
• Programación lógica con restricciones
• Formalización en Prolog de la lógica proposicional
• Programación lógica y aprendizaje automático