PROGRAMA EN PROLOG QUE VERIFICA SI LOS NOMBRES AXCESADOS SON VALIDOS.

/*ESTE PROGRAMA TIENE K ESCRIBIRLO EN UN BLOC DE NOTAS,GURADARLO CON LA EXTENCIÓN .PL PARA QUE QUEDE COMO UN EJECUTABLE DE DEL PROGRAMA PROLOG.*/

parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).