Exercicio PROLOG

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

pai(jose,antonio).
pai(jose,renato).
pai(jose,aldo).
mae(ana,antonio).
mae(ana,renato).
mae(josefa,aldo).
genero(ana,feminino).
genero(josefa,feminino).
genero(jose,masculino).
genero(antonio,masculino).
genero(aldo,masculino).
genero(renato,masculino).
filho(X,Y) :- pai(Y,X), genero(X,masculino).
filho(X,Y) :- mae(Y,X), genero(X,masculino).
filha(X,Y) :- pai(Y,X), genero(X,feminino).
filha(X,Y) :- mae(Y,X), genero(X,feminino).
casado(X,Y) :- filho(Z,X),
 			filho(Z,Y),
 			not(X=Y),
 			genero(X,masculino).
casado(X,Y) :- filha(Z,X),
 			filha(Z,Y),
 			not(X=Y),
 			genero(X,masculino).
casada(X,Y) :- casado(Y,X).