Написать предикат, определяющий, являются ли его аргументы взаимно простыми числами - Prolog - Prolog

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

Помогите пожалуйста! Надо написать предикат, определяющий, являются ли его аргументы взаимно простыми числами. Взаимно простыми называются числа, наибольший общий делитель которых равен единице.

Код к задаче: «Написать предикат, определяющий, являются ли его аргументы взаимно простыми числами - Prolog - Prolog»

textual
predicates
gcd(integer,integer,integer)
v_prime(integer,integer)
 
clauses
gcd(M,N,R):- M < N, gcd(N,M,R),!.
gcd(M,N,N):- M mod N = 0, !.
gcd(M,N,R):- MM=M mod N, gcd(N,MM,R).
 
v_prime(X,Y) :- gcd(X,Y,Z), Z=1.

11   голосов, оценка 3.909 из 5


СОХРАНИТЬ ССЫЛКУ