% Sequencia de pre-requisitos
/*
   % Exemplo de execucao:
   ?- preoutros(X,d).
   X = c ;
   X = a ;
   X = b ;
   false.
*/

disc(a).
disc(b).
disc(c).
disc(d).
disc(e).
disc(f).

pre(a,b).
pre(b,c).
pre(c,d).

preoutros(X,Y) :- pre(X,Y).
preoutros(X,Y) :- pre(X,Z), preoutros(Z,Y).

