Ex3

aluno(joao, calculo).
aluno(maria, calculo).
aluno(joel, programacao).
aluno(joel, estrutura).

frequenta(joao, puc).
frequenta(maria, puc).
frequenta(joel, ufrj).

professor(carlos, calculo).
professor(ana_paula, estrutura).
professor(pedro, programacao).

funcionario(pedro, ufrj).
funcionario(ana_paula, puc).
funcionario(carlos, puc).

aluno_professor(X,Y) :- aluno(X,M), professor(Y,M),funcionario(Y,U),frequenta(X,U).
associado_universidade(Y,X) :- frequenta(X,Y);funcionario(X,Y).

%associado_universidade(X,Y)
%aluno_professor(X,Y)