Base de fatos e regras família em Prolog

homem(everton).
homem(joao).
homem(marcos).
homem(jader).
homem(henrique).
homem(jonas).
homem(leo).
homem(rodrigo).

mulher(thaise).
mulher(mara).
mulher(carol).
mulher(melina).

marido(everton, thaise).
marido(joao, carol).

esposa(mara, jader).

filho(henrique, everton).
filho(jonas, marcos).
filho(leo, melina).
filho(rodrigo, mara).

casado_com(X, Y):- homem(X),
               mulher(Y),
               marido(X, Y), !.
casado_com(X, Y):- homem(X),
               mulher(Y),
               esposa(Y, X), !.           
casado_com(X, Y):- mulher(X),
               homem(Y),
               esposa(X, Y), !.
casado_com(X, Y):- mulher(X),
               homem(Y),
               marido(Y, X), !.           

tem_filho(X):- homem(X),
           filho(Y, X), !.    

tem_filho(X):- mulher(X),
           filho(Y, X), !.    

tem_filho(X):- casado_com(X, Y),   
           filho(K, Y), !.