Найти наибольший общий делитель двух чисел, трех чисел - Prolog

Формулировка задачи:

Найти наибольший общий делитель двух чисел, трех чисел

Решение задачи: «Найти наибольший общий делитель двух чисел, трех чисел»

Листинг программы

domains
int=integer
 
predicates
gcd(int,int,int)
gcd3(int,int,int,int)
 
clauses
gcd(N,M,K) :- M>N, gcd(M,N,K),!.
gcd(N,M,M) :- (N mod M)=0.
gcd(N,M,K) :- P=(N mod M), P<>0, gcd(M,P,K).  
 
gcd3(N,M,P,R) :- gcd(N,M,Q), gcd(Q,P,R).

Объяснение кода листинга программы

В коде используется язык программирования Prolog.
Задача состоит в нахождении наибольшего общего делителя (НОД) двух и трех чисел.
Для решения задачи определены два предиката: gcd(N,M,K) для нахождения НОД двух чисел N и M и gcd3(N,M,P,R) для нахождения НОД трех чисел N, M и P.
В первом предикате gcd(N,M,K) проверяется, что M больше N, если это так, то рекурсивно вызывается gcd(M,N,K), если M меньше или равно N.
Во втором предикате gcd(N,M,M) проверяется, что N делится на M без остатка. Если это так, то M присваивается значение НОД.
В третьем предикате gcd(N,M,K) проверяется, что N делится на M без остатка, если это так, то M присваивается значение НОД. Если остаток от деления не равен нулю, то рекурсивно вызывается gcd(M,P,K), где P - остаток от деления N на M.
В четвертом предикате gcd3(N,M,P,R) рекурсивно вызывается gcd(N,M,Q), где Q - результат вызова gcd(N,M,K). Затем рекурсивно вызывается gcd(Q,P,R), где R - результат вызова gcd(Q,P,K).
Значения переменных: N, M, K, P, R - целые числа.
В качестве входных данных для предиката gcd3(N,M,P,R) используются значения переменных N, M, P и R.
Выходные данные для предиката gcd3(N,M,P,R) - это значения переменных N, M, P и R, которые содержат НОД трех чисел.