% Prolog – Tennis: transitive Beziehung / Rekursion

gewinnt(matthias,florian).
gewinnt(franz,johannes).
gewinnt(albert,peter).
gewinnt(florian,franz).
gewinnt(johannes,klaus).
gewinnt(peter,stefan).
gewinnt(klaus,albert).

stärkerAls(X, Y):-
    gewinnt(X,Y);
    gewinnt(X,Z),
    stärkerAls(Z,Y).
