um_dos_pais(tom,victor). um_dos_pais(pamela,victor). um_dos_pais(pamela,luisa). um_dos_pais(helder,luisa). um_dos_pais(ana,jose). um_dos_pais(ana,maria). um_dos_pais(victor,jose). um_dos_pais(victor,maria). um_dos_pais(joao,alberto). um_dos_pais(joao,rita). um_dos_pais(luisa,alberto). um_dos_pais(luisa,rita). um_dos_pais(rita,helena). um_dos_pais(jose,simao). um_dos_pais(elisa,simao).

um_dos_pais(maria,ernesto). um_dos_pais(manuel,helena). %gender female(pamela). female(ana). female(elisa). female(luisa). female(rita). female(helena). female(maria). male(tom). male(helder). male(victor). male(joao). male(ernesto). male(simao). male(jose). male(alberto). male(manuel). filho(Y,X):-um_dos_pais(X,Y). mae(X,Y):-um_dos_pais(X,Y),female(X). avo(X,Y):-um_dos_pais(X,Z),um_dos_pais(Z,Y). irma(X,Y):-um_dos_pais(Z,X),um_dos_pais(Z,Y),female(X). irmao(X,Y):-um_dos_pais(Z,X),um_dos_pais(Z,Y),male(X). primo(X,Y):-um_dos_pais(Z,X),um_dos_pais(Z1,Y),male(X),(irmao(Z,Z1);irma(Z,Z1)). tia(X,Y):-irma(X,Y),um_dos_pais(Z,Y). predecessor(X,Z):-um_dos_pais(X,Z). predecessor(X,Z):-um_dos_pais(x,z),predecessor(y,Z).