Exercicio Prolog

% Fatos

    % Predicado sexo(nomeAluno, faculdade)
        sexo(alisson, masculino).
        sexo(felipeCarlos, masculino).
        sexo(larissa, masculino).
        sexo(mariana, feminino).
        sexo(rodolfo, masculino).
        sexo(vinicius, masculino).
        sexo(carla, feminino).

    % Predicado alunoFaculdade(nomeAluno, faculdade)
        alunoFaculdade(alisson, fatecRP).
        alunoFaculdade(felipeCarlos, fatecRP).
        alunoFaculdade(larissa, fatecRP).
        alunoFaculdade(mariana, fatecSP).
        alunoFaculdade(rodolfo, fatecSP).
        alunoFaculdade(vinicius, fatecSP).
        alunoFaculdade(carla, fatecSP).

    % Predicado matricula(nomeAluno, disciplina)
        matricula(alisson, estruturaDados).
        matricula(alisson, linguagemProgramacao).
        matricula(alisson, bancoDados).
        matricula(felipeCarlos, bancoDados).
        matricula(felipeCarlos,programacaoOrientadaObjetos).
        matricula(felipeCarlos, linguagemProgramacao).
        matricula(larissa, estruturaDados).
        matricula(larissa, bancoDados).
        matricula(larissa, programacaoOrientadaObjetos).
        matricula(rodolfo, algoritmo).
        matricula(rodolfo, sistemasOperacionais).
        matricula(carla, algoritmo).
        matricula(carla, sistemasOperacionais).

        matricula(vinicius, algoritmo).
        matricula(vinicius, engenhariaSoftware).
        matricula(carla, matematica).
        matricula(mariana, engenhariaSoftware).

    % Predicado professorDisciplina(professor, disciplina)
        professorDisciplina(carlos, estruturaDados).
        professorDisciplina(valeria, linguagemProgramacao).
        professorDisciplina(valeria, engenhariaSoftware).
        professorDisciplina(sergio, bancoDados).
        professorDisciplina(sergio, programacaoOrientadaObjetos).
        professorDisciplina(henrique, algoritmo).
        professorDisciplina(henrique, sistemasOperacionais).
        professorDisciplina(mariangela, matematica).

% Regras

    % Predicado alunoDoProfessor(A,P) quer dizer A aluno de P
    alunoDoProfessor(A, P):-    matricula(A, D),
                                sexo(A, masculino),
                                professorDisciplina(P, D).




% Perguntas