La programación lógica es un paradigma de programación declarativa basado en la lógica de predicados de primer orden. Utiliza hechos, reglas y preguntas, donde los hechos son la base de datos con predicados, las reglas definen relaciones entre predicados, y las preguntas son consultas. Permite el uso de tipos abstractos de datos como árboles y listas, y técnicas como la recursividad.

1. La programación lógica es un
paradigma de la programación
declarativa basada en L.P.P.O, o
lógica de predicados.
• Lógica de predicados de primer orden (
L.P.P.O ).
• Tipos abstractos de datos ( arboles y listas).
• Técnicas de programación (Recursividad) .
Lo que el programador necesita
conocer
Sintaxis
 Hechos (Base de datos con predicados.
Ejemplo: gato(tom) ).
 Reglas ( Predicados en forma de:
Consecuente:- Antecedente. Ejemplo:
gato(tom) :- true ).
 Preguntas ( Consultas. Ejemplo: ?-
gato(tom) ).
(Wiki: Prolog . 2017. Wikimedia)
https://es.wikipedia.org/wiki/Prolog
http://www.gedlc.ulpgc.es/docencia/lp/document
acion/GB_Prolog.pdf
( Video: Agosto. 2016. Giardina )
https://www.youtube.com/watch?v=q1WRh0CNPIg
(Artículo: Docencia. Documentación. González)
Programación Lógica by Lisbeth Flores is licensed
under a Creative Commons Reconocimiento-
CompartirIgual 4.0 Internacional License.

2. Colmerauer, Alain; Roussel, P. ( 1992). La naissance de prolog .
Disponible: http//:www. https://es.wikipedia.org/wiki/Prolog
[Editado por última vez el 19 ene 2017 a las 15:27].
Giardina, D. (2016). Lógica de programación (Aprendiendo a pensar).
Disponible: http//:www. https://www.youtube.com/watch?v=q1WRh0CNPIg
[Consulta: 2016, Junio 21].
González , A. Guía Básica de Prolog.
Disponible:
http://www.gedlc.ulpgc.es/docencia/lp/documentacion/GB_Prolog.pdf
UFT. (2016 ). Normas para la elaboración y presentación de trabajos de
investigación. [Documento en línea].
Disponible: http://www.uft.edu.ve/descargas/normas_t_grado2016.pdf