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

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

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

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

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

                            domains
i=integer
predicates
nod(i,i,i)
clauses
nod(N,M,M):-N mod M=0,!.
nod(N,M,R):-M1=N mod M,N1=M,nod(N1,M1,R).
goal
nod(1071,462,J).
                        