
/* padre_de(P1,P2): P2 es el padre de P1 */

padre_de(juan, miguel).
padre_de(marta,miguel).
padre_de(carmen,miguel).

mostrar_padre:- write('Nombre --> '),
			    read(X),
			    write('El padre de '), 
			    write(X),
			    write(' es '),
			    padre_de(X,Y),
			    write(Y).