Найти сумму делителей данного натурального числа (visual prolog)

@nottheprogramer · Регистрация: 08.12.2019

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

Здравствуйте.
Имеется код программы:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
implement main
    open core, console
 
class predicates
    sum_div : (integer, integer, integer [out]) nondeterm.
    task : (integer, integer [out]) nondeterm.
 
clauses
    sum_div(N, K, 0) :-
        K > N div 2,
        !.
    sum_div(N, K, R) :-
        N mod K <> 0,
        K1 = K + 1,
        sum_div(N, K1, R).
    sum_div(N, K, R) :-
        N mod K = 0,
        K1 = K + 1,
        sum_div(N, K1, R1),
        R = R1 + K.
    task(N, R) :-
        sum_div(N, 2, R).
 
    run() :-
        N = 58,
        task(N, _R)
        or
        write("Fail"),
        nl,
        write(_R),
        nl,
        _ = readLine().
 
end implement main
 
goal
    console::run(main::run).

При компилировании выходит ошибка:
main.pro(30,9)
error c603 : The flow pattern '(o)' does not exist for 'console::write/0...'
Дело в том, что он мне уже указывал эту ошибку, но на другую строчку, в последствии чего я это исправил, как он просил, прописав в предикатах nondeterm и выходные значения.
В чем проблема сейчас?

@nottheprogramer · 18.05.2021, 14:16 **[ТС]**

Исправил свои ошибки.
Держите рабочий вариант:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
implement main
    open core, console
 
class predicates
    sum_div : (integer, integer, integer [out]) nondeterm.
    find_max : (integer, integer [out]) nondeterm.
 
clauses
    sum_div(N, K, 0) :-
        K > N div 2,
        !.
    sum_div(N, K, R) :-
        N mod K <> 0,
        K1 = K + 1,
        sum_div(N, K1, R).
    sum_div(N, K, R) :-
        N mod K = 0,
        K1 = K + 1,
        sum_div(N, K1, R1),
        R = R1 + K.
    find_max(N, R) :-
        sum_div(N, 2, R).
 
    run() :-
        N = 69,
        find_max(N, R),
        !,
        write(R),
        T = R + N + 1,
        nl,
        write(T),
        _ = readLine()
        or
        write("Fail"),
        _ = readLine().
 
end implement main
 
goal
    console::run(main::run).

@Matan! · 18.05.2021, 15:50

nottheprogramer, значит, тема во фрилансе уже не нужна?

@nottheprogramer · 18.05.2021, 15:56 **[ТС]**

Сообщение от Matan!

значит, тема во фрилансе уже не нужна?

Только хотел написать, чтобы ее удалили))
Также у меня есть еще одна тема во фрилансе по C++, ее также можно удалить.

@Matan! · 18.05.2021, 16:05

Сообщение от nottheprogramer

Также у меня есть еще одна тема во фрилансе по C++

Не вижу её.

Новые блоги и статьи Все статьи Все блоги /
Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а привычная функция main(). . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/

@Matan! 1882 / 1016 / 228 Регистрация: 31.05.2013 Сообщений: 6,645 Записей в блоге: 6
	18.05.2021, 15:50
	nottheprogramer, значит, тема во фрилансе уже не нужна? 0