geschwisterVorl(N1,N2) :- voraussetzen(V,N1),
                          voraussetzen(V,N2), N1<N2. 
geschwisterThemen(T1,T2) :- geschwisterVorl(N1,N2),
                            vorlesungen(N1,T1,_,_),
                            vorlesungen(N2,T2,_,_). 
aufbauen(V,N) :- voraussetzen(V,N). 
aufbauen(V,N) :- aufbauen(V,M), voraussetzen(M,N).

verwandt(N,M) :- aufbauen(N,M). 
verwandt(N,M) :- aufbauen(M,N).
verwandt(N,M) :- aufbauen(V,N), aufbauen(V,M).