homem(joao). homem(jose). homem(mario). homem(alberto). homem(fabricio). homem(jonatas). homem(marcos). mulher(claudia). mulher(silvia). mulher(clara). mulher(angela). mulher(maria). mulher(marcia). pai(joao, jose). pai(joao, maria). pai(alberto, joao). pai(fabricio, alberto). pai(jonatas, fabricio). mae(silvia, jose). mae(silvia, maria). irmao(X, Y) :- homem(X), pai(Z, X), pai(Z, Y), mae(Z1, X), mae(Z1, Y). irma(X, Y) :- mulher(X), pai(Z, X), pai(Z, Y), mae(Z1, X), mae(Z1, Y), not(X = Y). gerou(X, Y) :- pai(X, Y). gerou(X, Y) :- mae(X, Y). ancestral(X, Y) :- gerou(X, Y). ancestral(X, Y) :- gerou(Z, Y), ancestral(X, Z).