% ggT(+A,+B,-T): T ist der ggT von A und B.       + Eingabe, - Ausgabe
%(entspricht ggT(A,B)=T mit Funktion ggT).
% Berechnung mit dem euklidischen Algorithmus.

ggT(X,0,X).
ggT(X_alt,Y_alt,T) :-
    Y_alt > 0,
    X_neu = Y_alt,              %hier nur zur Verdeutlichung. Man koennte
    Y_neu is X_alt mod Y_alt,   %gleich Y_alt verwenden.
    ggT(X_neu,Y_neu,T).
