1.7

Resumen.
La programación en Prolog consiste en definir relaciones y preguntar acerca de las
relaciones.
Un programa consiste de cláusulas. Estas son de tres tipos: hechos, reglas y preguntas.
Una relación puede especificarse con hechos, estableciendo la lista de objetos que
satisfacen la relación o estableciendo las reglas acerca de la relación.
Un procedimiento es un conjunto de cláusulas acerca de una misma relación.
En Prolog, para establecer si un objeto satisface una pregunta puede ser un proceso
complicado que involucra inferencias lógicas, exploración entre alternativas posibles y
posibles procesos de backtracking (vuelta atrás). Todo esto lo realiza automáticamente
Prolog y es en principio oculto para los usuarios