Вычисление суммы четных делителей натурального числа на Turbo Prolog

@aekuznecov · Регистрация: 25.03.2013

Студворк — интернет-сервис помощи студентам

Добрый день. Есть задача: Составьте программу вычисления суммы четных делителей натурального числа М.
Написал такой код:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
predicates
is_prime(integer,integer,integer).
sum(integer,integer,integer).
res(integer,integer).
clauses
is_prime(_,1,1):-!.
is_prime(X,Y,Z):-X mod Y = 0,Y1 = Y-1,is_prime(X,Y1,Z1),Z=Z1+1;X mod Y>0,Y1=Y-1,is_prime(X,Y1,Z).
sum(+,1,0):-!.
sum(N,D,S):-N mod D=0,D mod 2=0,is_prime(N,N,K),K>2,D1=D-1,sum(N,D1,S1),S=S1+D;
                  N mod D=0,D mod 2=0,is_prime(N,N,K),K=2,D1=D-1,sum(N,D1,S);
                  N mod D=0,D mod 2=0,is_prime(N,N,K),K<2,D1=D-1,sum(N,D1,S);
                  N mod D>0,D mod 2>0,D1=D-1,sum(N,D1,S).
res(N,S):-sum(N,N,S).

Подскажите, пожалуйста, где здесь ошибка?
Если ввожу 4 или 8, то количество делителей считает
Если ввожу 6,10 или 12 - выдает что нет решений
Спасибо.

@Catstail · 22.01.2016, 15:58

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
domains
int=integer
 
predicates
sum_even_div(int,int,int)
task(int,int)
 
clauses
sum_even_div(N,_,0) :- (N mod 2) <> 0, !.
sum_even_div(N,K,0) :- K > (N div 2), !.
sum_even_div(N,K,R) :- (N mod K)=0, K1=K+2, sum_even_div(N,K1,R1), R=R1+K.
sum_even_div(N,K,R) :- (N mod K)<>0, K1=K+2, sum_even_div(N,K1,R).
 
task(N,R) :- sum_even_div(N,2,R).

Новые блоги и статьи Все статьи Все блоги /
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .	влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .