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(Y, U) :- funcionario(Y, U); frequenta(Y, U).

aluno_professor(X, Y)
associado(Y, U)