% flug(S1,S2)  Es gibt einen direkten Flug von S1 nach S2.
flug(salzburg,wien).
flug(salzburg,muenchen).
flug(wien,muenchen).
flug(muenchen,wien).
flug(prag,wien).

% verbindung(S1,S2)  Es gibt eine Flugverbindung von S1 nach S2.
verbindung(S1,S2):-
    flug(S1,S2).
verbindung(S1,S2):-
    flug(S1,S),
    verbindung(S,S2).

% ?- verbindung(salzburg,prag).
% geht in Endlosschleife, weil der Zyklus wien <-> muenchen
% wiederholt durchlaufen wird.
