1- 7_Прикладные методы искусственного интеллекта / задача4

%Напишите предикат gcd(+A,+B,-D) - истинный тогда и только
%тогда, когда D -наибольший общий делитель двух целых
%положительных чисел A и B.

gcd( A, A, A).
gcd( A, B, D) :-
A < B,
B1 is B - A,
gcd( A, B1, D).
gcd( A, B, D) :-
B < A,
gcd( B, A, D).