Turbo Prolog не могу понять ошибку, снова ошибка

@mark090909 · Регистрация: 08.05.2021

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

определить предикат подсумма (Множество,Сумма,ПодМножество). где Множество - список чисел ,ПодМножество- подмножество этих чисел, а сумма чисел из ПодМножества равна Сумма. Например,цель подсумма ([1,2,3,4,5],5,ПМ) дает ответ ПМ = [1,2,2]; ПМ=[2,3];ПМ=[5] и тд

помогите решить эту задачу, уже не у первого человека спрашиваю не могут помочь

@Catstail · 03.09.2021, 08:38

swi:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
add_elt(_,[],[]).
add_elt(X,[A|T],[[X|A]|R]):- add_elt(X,T,R).
 
all_subsets([],[[]]).
all_subsets([H|T],Q):- all_subsets(T,R), add_elt(H,R,RR), append(R,RR,Q).
 
sum_set([],0).
sum_set([H|T],S):- sum_set(T,Q), S is Q+H.
 
check_sum([],_,[]).
check_sum([H|T],S,[H|R]):- sum_set(H,S),check_sum(T,S,R).
check_sum([_|T],S,R):- check_sum(T,S,R).
 
task(Set,Sum,R):- all_subsets(Set,Subsets),check_sum(Subsets,Sum,R).
 
main:-
        process,
        halt.
 
process:-
        task([1,2,3,4,5],5,U),write(U).
:- main.

@mark090909 · 03.09.2021, 22:51 **[ТС]**

напоминаю НУЖНО ВЫПОЛНИТЬ НА ТУРБО ПРОЛОГЕ А НЕ ПРОСТО ПРОЛОГЕ!

@Catstail · 04.09.2021, 08:03

mark090909, эх, горюшко... В Турбо-Прологе это "дуриком" запустить не удастся. Вот:

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
domains
 
int=integer
intl=int*
intll=intl*
 
predicates
 
add_elt(int,intl,intl)
all_subsets(intl,intll)
sum_set(intl,int)
check_sum(intl,int,intl)
task(intl,int,intll)
 
clauses
 
add_elt(X,[A|T],[[X|A]|R]):- add_elt(X,T,R).
 
all_subsets([],[[]]).
all_subsets([H|T],Q):- all_subsets(T,R), add_elt(H,R,RR), append(R,RR,Q).
 
sum_set([],0).
sum_set([H|T],S):- sum_set(T,Q), S is Q+H.
 
check_sum([],_,[]).
check_sum([H|T],S,[H|R]):- sum_set(H,S),check_sum(T,S,R).
check_sum([_|T],S,R):- check_sum(T,S,R).
 
task(Set,Sum,R):- all_subsets(Set,Subsets),check_sum(Subsets,Sum,R).
 
goal
 
task([1,2,3,4,5],5,U),write(U).

@mark090909 · 04.09.2021, 15:41 **[ТС]**

мне уже 2 раза помог один уважаемый мужчина на форуме, но у меня снова какая-то ошибка появляется при нажатии Run

Turbo Prolog не могу понять ошибку, снова ошибка

вот сам код:

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
domains
 
int=integer
intl=int*
intll=intl*
 
predicates
 
add_elt(int,intl,intl)
all_subsets(intl,intll)
sum_set(intl,int)
check_sum(intl,int,intl)
task(intl,int,intll)
 
clauses
 
add_elt(X,[A|T],[[X|A]|R]):- add_elt(X,T,R).
 
all_subsets([],[[]]).
all_subsets([H|T],Q):- all_subsets(T,R), add_elt(H,R,RR), append(R,RR,Q).
 
sum_set([],0).
sum_set([H|T],S):- sum_set(T,Q), S is Q+H.
 
check_sum([],_,[]).
check_sum([H|T],S,[H|R]):- sum_set(H,S),check_sum(T,S,R).
check_sum([_|T],S,R):- check_sum(T,S,R).
 
task(Set,Sum,R):- all_subsets(Set,Subsets),check_sum(Subsets,Sum,R).
 
goal
 
task([1,2,3,4,5],5,U),write(U).

а вот сама условие задачи (/*определить предикат подсумма (Множество,Сумма,ПодМножество). где Множество - список чисел ,ПодМножество- подмножество этих чисел, а сумма чисел из ПодМножества равна Сумма. Например,цель подсумма ([1,2,3,4,5],5,ПМ) дает ответ ПМ = [1,2,2]; ПМ=[2,3];ПМ=[5] и тд */)

@Catstail · 04.09.2021, 16:26

Да, пропустил... Строка 23 должна выглядеть так:

Prolog
1
sum_set([H|T],S):- sum_set(T,Q), S = Q+H.

@mark090909 · 04.09.2021, 17:19 **[ТС]**

снова ошибка ахвха да что мне так не везет

какая-то очередная похожая ошибка ,вот сам код:

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
domains
 
int=integer
intl=int*
intll=intl*
 
predicates
 
add_elt(int,intl,intl)
all_subsets(intl,intll)
sum_set(intl,int)
check_sum(intl,int,intl)
task(intl,int,intll)
 
clauses
 
add_elt(X,[A|T],[[X|A]|R]):- add_elt(X,T,R).
 
all_subsets([],[[]]).
all_subsets([H|T],Q):- all_subsets(T,R), add_elt(H,R,RR), append(R,RR,Q).
 
sum_set([],0).
sum_set([H|T],S):- sum_set(T,Q), S = Q+H.
 
check_sum([],_,[]).
check_sum([H|T],S,[H|R]):- sum_set(H,S),check_sum(T,S,R).
check_sum([_|T],S,R):- check_sum(T,S,R).
 
task(Set,Sum,R):- all_subsets(Set,Subsets),check_sum(Subsets,Sum,R).
 
goal
 
task([1,2,3,4,5],5,U),write(U).

мне нужно так чтоб я нажал кнопку Run и все запустилось)

@Catstail · 04.09.2021, 17:33

mark090909, ты же картинку показываешь старую (с is вместо =)

@mark090909 · 04.09.2021, 17:54 **[ТС]**

да, извиняюсь вот новая картинка

@mark090909 · 04.09.2021, 17:58 **[ТС]**

прикрепил фотографию занаво, хотя я заменил is на =

@mark090909 · 05.09.2021, 01:23 **[ТС]**

не работает(

@Catstail · 05.09.2021, 09:07

Вот проверенный в Турбо-Прологе код:

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
domains
 
int=integer
intl=int*
intll=intl*
 
predicates
 
append(intll,intll,intll)  
add_elt(int,intll,intll)
all_subsets(intl,intll)
sum_set(intl,int)
check_sum(intll,int,intll)
task(intl,int,intll)
 
clauses
 
append([],X,X).
append([H|T],X,[H|R]):- append(T,X,R). 
 
add_elt(_,[],[]). 
add_elt(X,[A|T],[[X|A]|R]):- add_elt(X,T,R).
 
all_subsets([],[[]]).
all_subsets([H|T],Q):- all_subsets(T,R), add_elt(H,R,RR), append(R,RR,Q).
 
sum_set([],0).
sum_set([H|T],S):- sum_set(T,Q), S = Q+H.
 
check_sum([],_,[]).
check_sum([H|T],S,[H|R]):- sum_set(H,S),check_sum(T,S,R).
check_sum([_|T],S,R):- check_sum(T,S,R).
 
task(Set,Sum,R):- all_subsets(Set,Subsets),check_sum(Subsets,Sum,R).
 
goal
task([1,2,3,4,5],5,U),write(U).

@mark090909 · 05.09.2021, 20:09 **[ТС]**

спасибо большое, теперь все работает!! друзьям буду рекомендовать вас как человека хорошо разбирающегося в программирование!

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9

	Turbo Prolog не могу понять ошибку, снова ошибка 02.09.2021, 23:26. Показов 3843. Ответов 12 Метки error, predicate, prolog, turbo prolog, множества (Все метки) определить предикат подсумма (Множество,Сумма,ПодМножество). где Множество - список чисел ,ПодМножество- подмножество этих чисел, а сумма чисел из ПодМножества равна Сумма. Например,цель подсумма ([1,2,3,4,5],5,ПМ) дает ответ ПМ = [1,2,2]; ПМ=[2,3];ПМ=[5] и тд помогите решить эту задачу, уже не у первого человека спрашиваю не могут помочь 0

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9
	03.09.2021, 22:51 [ТС]
	напоминаю НУЖНО ВЫПОЛНИТЬ НА ТУРБО ПРОЛОГЕ А НЕ ПРОСТО ПРОЛОГЕ! 0

@Catstail Супер-модератор 38160 / 21095 / 4306 Регистрация: 12.02.2012 Сообщений: 34,677 Записей в блоге: 14
	04.09.2021, 17:33
	mark090909, ты же картинку показываешь старую (с is вместо =) 0

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9
	04.09.2021, 17:54 [ТС]
	да, извиняюсь вот новая картинка 0

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9
	04.09.2021, 17:58 [ТС]
	прикрепил фотографию занаво, хотя я заменил is на = 0

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9
	05.09.2021, 01:23 [ТС]
	не работает( 0

@mark090909 1 / 1 / 0 Регистрация: 08.05.2021 Сообщений: 9
	05.09.2021, 20:09 [ТС]
	спасибо большое, теперь все работает!! друзьям буду рекомендовать вас как человека хорошо разбирающегося в программирование! 1

Turbo Prolog не могу понять ошибку, снова ошибка

Решение