Hey,
ich hab hier folgende mögliche Lösung um den ggT mittels Prolog zu bestimmen:
ggt(A, B, C) :-gt(A, B, C), not(larger_gt(A, B, C)).
larger_gt(A, B, C) :-gt(A, B, C1), C1>C.
gt(A, B, C) :-t(A, C), t(B, C).
t( A, C ) : - zwischen(1, C, A), AmodC =:= 0.
zwischen(C, C, O).
zwischen(U, C...