Arbol-Familiar

[caption id="attachment_1076" align="aligncenter" width="693"] Arbol familiar en Prolog[/caption]

Escribir en prolog las sentencias y hechos, para poder concluir quien es abuelo de quien, y cuales son los hermanos y hermanas de ciertas personas

[plain]
/*pedro es papa de juan */</span></pre>
hombre(juan).
hombre(alberto).
hombre(pedro).
hombre(tomas).
mujer(any).
papa(pedro,juan).
papa(pedro,alberto).
papa(pedro,any).
papa(tomas,pedro).
/*X es abuelo de Y */
abuelo(X,Y):-papa(X,Z),papa(Z,Y),hombre(X),hombre(Y).
/*X es hermano de Y */
hermano(X,Y):-papa(Z,X),papa(Z,Y),hombre(X),X \== Y.
/*X es hermana de Y */
hermana(X,Y):-papa(Z,X),papa(Z,Y),mujer(X),X \== Y.

[/plain]