disciplina(poo1).
disciplina(poo2).

nome(poo1, 'Programacao Orientada a Objetos I').
nome(poo2, 'Programacao Orientada a Objetos II').

fase1(circuitos).
fase1(poo1).
fase1(fmd).
fase1(calcA).
fase1(intro).

fase2(sd).
fase2(poo2).
fase2(calcB).
fase2(prob).
fase2(ga).
fase2(cts).

fase3(ed).
fase3(conc).


fase4(redes).

prerequisito(poo1, poo2).

prerequisito(grafos, ia).
prerequisito(paradigmas, ia).

prerequisito(poo2, ed).
prerequisito(poo2, conc).
prerequisito(poo2, redes).


preprereq(X,Z) :- prerequisito(X,Y) , prerequisito(Y,Z).

