Prolog, ejercicio 1.7

1.7. Trate de entender como Prolog deriva respuestas a las siguientes preguntas, usando el programa
familiar. Dibuje también los diagramas de derivación correspondientes. Identifique los bactrakings que se encuentre:

DIAGRAMA

a). ?- progenitor( pamela, roberto). 

b). ?- madre( pamela, roberto). 

c). ?- abuelo( pamela, ana). 

d). ?- abuela(roberto, jaime).