% Prolog – ggT: Rekursion mit Zahlen

ggT(A,B) :-
  /* Der Auswertungsoperator für Gleichheit von Termwerten heißt "is".
   * Das Gleichheitszeichen hat eine andere Bedeutung, auf die hier
   * nicht näher eingegangen werden kann (Unifizierbarkeit).
   */
  A is B,
  /* write gibt das Ergebnis auf der Konsole aus. */
  write(A);
  A > B,
  A1 is A - B,
  ggT(A1,B);
  A < B,
  B1 is B - A,
  ggT(A, B1).
