21290.00119 21100.012109 11167.962601 8 80800000002500
CAMICADO-00150217

---------------------QUERYS-------------------
%Questão 1
%listing(X).
%aluno(joao,algoritmos).
%aluno(rui,algoritmos).
%aluno(X,paradigmas).
%aluno(rui,X)
%alunosAlgoritmos(joao,pedro)

%Questao 2

%aluno(maria,paradigmas),estuda(maria)
%aluno(X,paradigmas),estuda(X). %Permite saber quais alunos estudam e fazem paradigmas
fazParadigmas(X)


--------------------- FACTS & RULES ----------------------
aluno(joao,algoritmos).
aluno(pedro,algoritmos).
aluno(maria,paradigmas).
aluno(rui,paradigmas).
aluno(manuel,paradigmas).
aluno(pedro,paradigmas).
aluno(rui,cálculo).

alunosAlgoritmos(X,Y):-aluno(X,algoritmos),aluno(Y,algoritmos). % 1. F)

estuda(joao).
estuda(maria).
estuda(manuel).

fazParadigmas(X):-aluno(X,paradigmas),estuda(X). % 2. C)