Practicando en prolog con este crono grama genealógico.

Nota 1: 'progenitor' es el nombre de una relación 'tomas' y 'roberto', son sus argumentos.
Nota 2:  Cada clausula termina con un punto.

Un programa en Prolog está formado por una secuencia de cláusulas de tres tipos:
a). Hechos, declaran las cosas que son incondicionalmente ciertas.
b). Reglas, especifican qué cosas se pueden deducir, si es que se cumplen ciertas
condiciones.
c). Preguntas, permiten que el usuario pida alguna información derivable de los hechos y
las reglas del programa.
(Tomado de prolog.pdf)