Создайте предикат, вычисляющий наибольший общий делитель двух натуральных чисел. - Prolog

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

Здравствуйте. У меня недавно начался язык программирования turbo prolog. С его пониманием у меня большие проблемы. Я 3 дня уже сижу и немагу решить простенькую задачу поэтому просто решил выложить все. Кто сможет помогите. Мне нужны решения ОЧЕНЬ ЖЕЛАТЕЛЬНО с пояснениями и проверенные сайты с адекватными лекциями. Пожалуйста пишите раздел goal в задаче(НЕ ЛЮБЛЮ ВНЕШНИЕ ЦЕЛИ). Задачи: 1)Создайте предикат, вычисляющий наибольший общий делитель двух натуральных чисел.

Решение задачи: «Создайте предикат, вычисляющий наибольший общий делитель двух натуральных чисел.»

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

  gcd(M, N, K),

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

Создается предикат с тремя позиционными переменными M, N, K.
Переменная M вычисляется как наибольшее общее кратное (НОК) чисел N и K.
Переменная N вычисляется как наибольшее общее кратное (НОК) чисел M и K.
Переменная K вычисляется как наибольшее общее кратное (НОК) чисел M и N.
Переменная M вычисляется как наибольшее общее кратное (НОК) чисел N и K.
Цикл завершается, когда переменная M становится равной 1.
Значение переменной M будет содержать наибольший общий делитель (НОД) чисел N и K.