Задача "Сакраменто край богатый", исправление ошибки

@VirginiaV · Регистрация: 14.12.2013

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

Задача заключается в следующем: на одном участке земли размечено 36 кругов, в каждом из кругов стоит мешок, содержащий столько долларов, сколько указано на схеме. Разрешается брать любое число мешков, лишь бы не проходить дважды по одной и той же прямой.
Какую наибольшую сумму можно собрать?
Вот код, задача решена до стадии, где ищутся все возможные пути.
Ругается на строчки, помеченные комментариями. Никак не могу понять, в чем дело, помогите, пожалуйста

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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
Domains
i=integer 
j=integer 
value=integer
int_list=integer* 
node=node_in(i,j,value)
used_node=node*
Predicates
nondeterm node_not_empty(node)
nondeterm node_path(node,node,used_node)
nondeterm node_path1(node,used_node,used_node,int_list,int_list)
node_self(node,node)
in_path(node,used_node)
in_path_int(integer,int_list,integer)
 
Clauses
node_not_empty(node_in(0,1,3)).
node_not_empty(node_in(0,3,1)).
node_not_empty(node_in(0,5,5)).
node_not_empty(node_in(0,7,5)).
node_not_empty(node_in(0,9,4)).
node_not_empty(node_in(0,11,6)).
node_not_empty(node_in(1,2,6)).
node_not_empty(node_in(1,4,4)).
node_not_empty(node_in(1,6,2)).
node_not_empty(node_in(1,8,3)).
node_not_empty(node_in(1,10,5)).
node_not_empty(node_in(2,3,2)).
node_not_empty(node_in(2,5,3)).
node_not_empty(node_in(2,7,1)).
node_not_empty(node_in(2,9,4)).
node_not_empty(node_in(3,4,4)).
node_not_empty(node_in(3,6,6)).
node_not_empty(node_in(3,8,3)).
node_not_empty(node_in(4,5,5)).
node_not_empty(node_in(4,7,2)).
node_not_empty(node_in(5,6,1)).
node_not_empty(node_in(-1,2,5)).
node_not_empty(node_in(-1,4,4)).
node_not_empty(node_in(-1,6,6)).
node_not_empty(node_in(-1,8,6)).
node_not_empty(node_in(-1,10,2)).
node_not_empty(node_in(-2,3,6)).
node_not_empty(node_in(-2,5,2)).
node_not_empty(node_in(-2,7,1)).
node_not_empty(node_in(-2,9,1)).
node_not_empty(node_in(-3,4,1)).
node_not_empty(node_in(-3,6,3)).
node_not_empty(node_in(-3,8,3)).
node_not_empty(node_in(-4,5,2)).
node_not_empty(node_in(-4,7,5)).
node_not_empty(node_in(-5,6,4)).
 
node_path(X,Y,Path1):-node_not_empty(X),
        node_not_empty(Y),
        node_path1(X,[Y],Path1,_,_).
node_path1(X,[X|Path1],Path1,_,_).                                                           % строчка 1
node_path1(X,[S|Path1],_,Tail1,Tail2):-node_not_empty(S),
            node_not_empty(node_in(Y1,Y2,Y3)),
            not(node_self(node_in(Y1,Y2,Y3),S)),
            not(in_path(node_in(Y1,Y2,Y3),Path1)),
            in_path_int(Y2,Tail2,M1),
            M1<>1,
            node_path1(X,[node_in(Y1,Y2,Y3),S|Path1],_,[Y1|Tail1],[Y2|Tail2]).       % строчка 2
in_path(P,[P|_]).
in_path(P,[_|Tail]):-in_path(P,Tail).
in_path_int(P,[P|_],1).
in_path_int(P,[_|Tail],_):-in_path_int(P,Tail,_).
node_self(node_in(X,Y,_),node_in(X1,Y1,_)):-node_not_empty(node_in(X,Y,_)),node_not_empty(node_in(X1,Y1,_)),X=X1,Y=Y1.
goal
node_path1(node_in(6,6,_),[node_in(6,4,_)],_,_,_).

@VirginiaV · 15.01.2014, 21:31 **[ТС]**

Вот новый код программы:

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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
[20:21:56] gigakun1: Domains
i=integer %string
j=integer %column
value=integer
int_list=integer* 
node=node_in(i,j,value)
used_node=node*
predicates
nondeterm node_not_empty(node)
nondeterm node_path(node,node,used_node)
nondeterm node_path1(node,used_node,used_node,int_list,int_list)
node_self(node,node)
in_path(node,used_node)
in_path_int(integer,int_list)
%not_in_path_int(integer,int_list)
 
%nondeterm used_node(used_node)
%nondeterm listed(node,used_node)
clauses
%input matrix
%string0
node_not_empty(node_in(0,1,3)).
node_not_empty(node_in(0,3,1)).
node_not_empty(node_in(0,5,5)).
node_not_empty(node_in(0,7,5)).
node_not_empty(node_in(0,9,4)).
node_not_empty(node_in(0,11,6)).
%string1
node_not_empty(node_in(1,2,6)).
node_not_empty(node_in(1,4,4)).
node_not_empty(node_in(1,6,2)).
node_not_empty(node_in(1,8,3)).
node_not_empty(node_in(1,10,5)).
 
%string2
node_not_empty(node_in(2,3,2)).
node_not_empty(node_in(2,5,3)).
node_not_empty(node_in(2,7,1)).
node_not_empty(node_in(2,9,4)).
%string3
node_not_empty(node_in(3,4,4)).
node_not_empty(node_in(3,6,6)).
node_not_empty(node_in(3,8,3)).
%string4
node_not_empty(node_in(4,5,5)).
node_not_empty(node_in(4,7,2)).
%string5
node_not_empty(node_in(5,6,1)).
%string-1
node_not_empty(node_in(-1,2,5)).
node_not_empty(node_in(-1,4,4)).
node_not_empty(node_in(-1,6,6)).
node_not_empty(node_in(-1,8,6)).
node_not_empty(node_in(-1,10,2)).
 
%string-2
node_not_empty(node_in(-2,3,6)).
node_not_empty(node_in(-2,5,2)).
node_not_empty(node_in(-2,7,1)).
node_not_empty(node_in(-2,9,1)).
%string-3
node_not_empty(node_in(-3,4,1)).
node_not_empty(node_in(-3,6,3)).
node_not_empty(node_in(-3,8,3)).
%string-4
node_not_empty(node_in(-4,5,2)).
node_not_empty(node_in(-4,7,5)).
%string-5
node_not_empty(node_in(-5,6,4)).
%end input matrix
 
node_path(X,Y,Path1):-node_not_empty(X),
  node_not_empty(y),
  node_path1(X,[Y],Path1,_,_).
node_path1(X,[X|Path1],Path1,_,_).
node_path1(X,[S|Path1],_,Tail1,Tail2):-node_not_empty(S),
   node_not_empty(node_in(Y1,Y2,Y3)),
   not(node_self(node_in(Y1,Y2,Y3),S)),
   not(in_path(node_in(Y1,Y2,Y3),Path1)),
   %in_path_int(Y2,Tail2,M1),
   not(in_path_int(Y1,Tail1)),
   not(in_path_int(Y2,Tail2)),
   node_path1(X,[node_in(Y1,Y2,Y3),S|Path1],_,[Y1|Tail1],[Y2|Tail2]).
in_path(P,[P|_]).
in_path(P,[_|Tail]):-in_path(P,Tail).
%not_in_path_int(A,X):-not(in_path_int(A,X)).
in_path_int(P,[P|_]).
in_path_int(P,[_|Tail]):-in_path_int(P,Tail).
node_self(node_in(X,Y,_),node_in(X1,Y1,_)):-node_not_empty(node_in(X,Y,_)),node_not_empty(node_in(X1,Y1,_)),X=X1,Y=Y1.
%no(X,Y).
goal
node_path1(node_in(6,6,_),[node_in(6,4,_)],_,_,_).
%node_path(node_in(6,6,_),node_in(6,4,_),X).
%node_self(node_in(6,6,4),X).

во вложении скрин ошибки. Если вкратце - ошибка в следующем: вот в этой not(in_path_int(Y1,Tail1)).
если эту строчку убрать, то ошибка в след строчке. говорит Y1 не определена. Если убрать not, всё работает, но неправильно. То есть Y1 не определена в тот момент, когда срабатывает not. Как исправить это - не знаю.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук 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 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .