Запишем и инициируем выполнение программы «Родство
Запишем и инициируем выполнение программы «Автомобили»
Разберем программу определения наименьшего общего делителя (алгоритм Эвклида).
НОД(х,х,х).
НОД(х,у,ж):-ВЫЧИТАНИЕ(х,у,р),БОЛЬШЕ(х,у),НОД(р,у,ж).
НОД(х,у,ж):-ВЫЧИТАНИЕ(у,х,л),БОЛЬШЕ(у,х),НОД(х,л,ж).