Поиск в глубину с итеративным погружением

@Crazyroma · Регистрация: 21.10.2010

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

можете пожалуйста помочь не знаю в чем проблема

Задание: решить задачу поиска в глубину и ширину. Использовать язык программирования логики 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
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
domains 
  nodetype = symbol
  conntype = conn(nodetype,nodetype)
  nodelist = nodetype*
  connlist = conntype*
  graphtype = graph(nodelist,connlist); empty()
 
predicates
  determ node_in_list(nodetype, nodelist)
  determ node_in_graph(nodetype, graphtype)
  
  nodes_in_one_graph_connection(nodetype, nodetype, graphtype)
  nodes_in_one_connection(nodetype, nodetype, connlist)
  
  determ conn_in_list(conntype, connlist)
  
  nondeterm add_node_to_list(nodetype, nodelist, nodelist) 
  nondeterm add_node_to_list_aux(nodetype, nodelist, nodelist) 
  
  nondeterm add_conn_to_list(conntype, connlist, connlist) 
  nondeterm add_conn_to_list_aux(conntype, connlist, connlist) 
  
  nondeterm add_conn_to_graph(conntype, graphtype, graphtype) 
  nondeterm solve(nodetype, nodetype, graphtype, nodelist)
  nondeterm solve_iter(nodetype, nodetype, graphtype, nodelist)
  
  nondeterm solve_1(nodetype, nodelist, graphtype, nodelist)
    
  print_conn_list(connlist)
  print_node_list(nodelist)
  print_grath(graphtype)
  
 
clauses
 
  % return true if node X belong to list of nodes
  node_in_list(X,[X|_]):-!.
  node_in_list(X,[_|L]):-
    node_in_list(X,L).  
 
  % return true if node X belong to graph
  node_in_graph(X, graph(NL,_)):-
    node_in_list(X,NL).
  
  
  % return true if nodes X and Y belong to one of conections from connection list   
  nodes_in_one_connection(X,Y,  [conn(X,Y)|_]):-!.
  %nodes_in_one_connection(X,Y,  [conn(Y,X)|_]):-!.
  nodes_in_one_connection(X,Y,  [_|T]):-
    nodes_in_one_connection(X,Y,T).
    
  % return true if nodes X and Y belong one conection of graph G   
  nodes_in_one_graph_connection(X,Y, graph(_, CL)):-
    nodes_in_one_connection(X,Y, CL).
    
    
  % return true if connection (A,B) belong to list of connections
  conn_in_list(conn(A,B),[conn(A,B)|_]):-!.
  conn_in_list(conn(A,B),[conn(B,A)|_]):-!.
  conn_in_list(conn(A,B),[_|L]):-
    conn_in_list(conn(A,B),L).  
    
  % print list of connections  
  print_conn_list([]):-!.
  print_conn_list([X|L]):-
    write("        ", X,'\n'),
    print_conn_list(L).
    
  % print list of nodes    
  print_node_list([]):-!.
  print_node_list([X|L]):-
    write("        ", X,'\n'),
    print_node_list(L).
 
  print_grath(graph(NL,CL)):-
    write("    list of nodes: ", '\n'),  
    print_node_list(NL),
    write("    list of connections: ", '\n'),  
    print_conn_list(CL),
    write("end", '\n').
    
 
  % add node to list of nodes  
  add_node_to_list_aux(X, [], [X]).
  add_node_to_list_aux(X, [H|T], [H|T1]):-
    add_node_to_list_aux(X,T,T1).
  
  add_node_to_list(X, L, L1):-
     not(node_in_list(X,L)),    
     add_node_to_list_aux(X, L, L1).   
  add_node_to_list(_, L, L).   
  
  
  
  % add conn to list of pathes  
  add_conn_to_list_aux(X, [], [X]).
  add_conn_to_list_aux(X, [H|T], [H|T1]):-
    add_conn_to_list_aux(X,T,T1).
  
  add_conn_to_list(X, [], [X]):-!.
  add_conn_to_list(X, L, L1):-
     not(conn_in_list(X,L)),    
     add_conn_to_list_aux(X, L, L1).   
  add_conn_to_list(_, L, L).   
  
  
  add_conn_to_graph(conn(A,B), empty, graph([A,B], [conn(A,B)])):-!.
  add_conn_to_graph(conn(A,B), graph(NL,CL), graph(NLNew, CLNew)) :- 
    add_node_to_list(A, NL, NL1),
    add_node_to_list(B, NL1, NLNew),
    add_conn_to_list(conn(A,B), CL, CLNew).
     
    
  solve_iter(N, N, empty, []).
  
  solve_iter(N, N, G, [N]):-
    node_in_graph(N, G).
    
  solve_iter(N, M, G, [N,M]):-
    node_in_graph(N, G),
    nodes_in_one_graph_connection(N, M, G),
    write(N, '\n'),
    write(M, '\n').
    
  solve_iter(N, M, G, [N|Sol1]):-
    write(N, '\n'),
    node_in_graph(N, G),
    nodes_in_one_graph_connection(N, N1, G),
  %  not (node_in_list(N1,Sol1)),
    solve_iter(N1, M, G, Sol1).
    
 
  solve_1(A, [A| Path], _, [A| Path]):-
    write(A, '\n'),!.
 
  solve_1(A, [Y| Path1], G, Path):-
    nodes_in_one_graph_connection(X, Y, G),
    write(X, "  ", Y, '\n'),
    not (node_in_list(X, Path1)),
    solve_1(A, [X,Y|Path1], G, Path).
    
  solve(A, Z, G, P) :- solve_1(A, [Z], G, P). 
 
       
goal
 
 add_conn_to_graph(conn(a,b), empty, P1), 
  add_conn_to_graph(conn(b,d), P1, P2), 
  add_conn_to_graph(conn(d,h), P2, P3), 
  
  add_conn_to_graph(conn(b,e), P3, P4), 
  add_conn_to_graph(conn(e,i), P4, P5), 
  add_conn_to_graph(conn(e,j), P5, P6), 
  
  add_conn_to_graph(conn(a,c), P6, P7), 
  add_conn_to_graph(conn(c,f), P7, P), 
  
 write(" LAB 10 * ODM ", '\n'),
 write(" 2010 Hapunich Roman IA-01 ", '\n'), 
    
  print_grath(P), 
  write('\n'), 
     solve_iter(a, j, P, NL),
  print_node_list(NL),
  readln(X),
  
  solve(a, j, P, NL1),
  print_node_list(NL1),
  readln(Y).

@freest · 28.11.2010, 15:18

Не по теме:

Рома, иди отсюда сам знаеш куда

@Грымзик · 28.11.2010, 18:32

Да уж, ошибку в такой большой проге Вам тут никто не будет искать. В книге "Парадигма логического программирования" хорошо описаны все поиски, в том числе и с итеративным погружением. Или надо значительно сузить круг поиска.
freest, посылать лучше в личке

@Crazyroma · 28.11.2010, 18:39 **[ТС]**

Сообщение от Грымзик

Да уж, ошибку в такой большой проге Вам тут никто не будет искать. В книге "Парадигма логического программирования" хорошо описаны все поиски, в том числе и с итеративным погружением. Или надо значительно сузить круг поиска.
freest, посылать лучше в личку

Я бы ему с удовольствием послал это задание но это мой однокурсник и он с принципа не хочет мне помогать говорит сам делай.

@Грымзик · 28.11.2010, 18:48

Не по теме:

Я имела в виду не задание посылать, а посылать куда подальше.
Ну а то, что помогать не хочет, это понятно, что-то Вы больно много на этом форуме о помощи вопрошаете. И ему видней, может Вы вообще еще ничего за семестр самостоятельно не сделали... да и не хотели признаваться сначала, что Вы Гапунич.

@Crazyroma · 28.11.2010, 19:07 **[ТС]**

Прошу помощи много потому что много не знаю,а нашот фамили то я ему сразу сказал что это я.Нашот того что я зделал втечение семестра это факт да я почти нечего не зделал по прологу потому что не смог его выучить потому конспекту то что нам дали,а всьо остальоное типа вышки и другого сам учю,а паскаль прошу помощи когда уже действитеьно задание сложное.Как по мне чтобы легче было понять.

@freest · 28.11.2010, 19:23

как ты мне дорог...

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
domains
        s=symbol
        list=s*
        l=list*
predicates
        nondeterm pathDFS(s,s)
        nondeterm pathBFS(s,s)
        nondeterm dfs(s,list,list)   
        nondeterm bfs(l,s,list)  
        nondeterm rev(list,list)
        nondeterm rev(list,list,list)
        nondeterm next(s,list,s).
        nondeterm conc(l,l,l).
        nondeterm member(s,list)
        nondeterm arca(s,s)
        nondeterm new_node(s,list,list)
        nondeterm exist(s,s)
clauses
 
    arca(a,b). 
    arca(b,c). 
    arca(c,d). 
    arca(d,a).
    arca(a,o).
    arca(b,o).
    arca(c,o).
    arca(d,o).
    
    exist(A,B):-
        arca(A,B);
        arca(B,A).
     
    member(X,[X|_]).
    member(X,[_|Tail]):- 
        member(X,Tail).
     
    pathDFS(A,Z):- 
        dfs(A,[Z],Path),
        write("Depth-First Search : ",Path,"\n").
    
    dfs(A,[A|Path1],[A|Path1]).
    dfs(A,[Y|Path1],Path):- 
        exist(X,Y), 
        not(member(X,Path1)),
        dfs(A,[X,Y|Path1],Path).
     
    next(X,Was,Y):-
        exist(X,Y),
        not(member(Y,Was)).
     
    rev(X,Y):- 
        rev([],X,Y).  
        rev(Y,[],Y).  
    rev(X1,[Z|X2],Y):- 
        rev([Z|X1],X2,Y).
      
    conc([],L,L).
    conc([X|L1],L2,[X|L3]) :- 
        conc(L1,L2,L3).
 
    pathBFS(Start,Z) :- 
        bfs([[Start]],Z,Solution),
        rev(Solution,X),
        write("Breadth-First Search : ",X,"\n"),fail.
    pathBFS(_,_).
 
    bfs([[Node|Path]|_],Node,[Node|Path]).
    bfs([[B|Path]|Paths],Z,Solution) :- 
        findall(S, new_node(B,S,Path), NewPaths),
        conc(Paths,NewPaths,Paths1),!, 
        bfs(Paths1,Z,Solution);bfs(Paths,Z,Solution).  
 
    new_node(B,S,Path) :- 
        exist(B,B1), 
        not(member(B1,[B|Path])), 
        S=[B1,B|Path].
     
goal
    pathBFS(a,d),pathDFS(a,d),fail.

Проблема в том, что ты даже не пытался ничего сделать.

@rrrFer · 28.11.2010, 21:46

Crazyroma, я так и не понял кто такой "нашот", если это опечатка, то почему она повторяется 2 раза в таком коротком сообщении?

@ForEveR · 28.11.2010, 22:18

Не по теме:

Мда. А еще учю, зделать... Хм. Это студент? Тяжело...

@Crazyroma · 28.11.2010, 23:20 **[ТС]**

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

как ты мне дорог...

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
domains
        s=symbol
        list=s*
        l=list*
predicates
        nondeterm pathDFS(s,s)
        nondeterm pathBFS(s,s)
        nondeterm dfs(s,list,list)   
        nondeterm bfs(l,s,list)  
        nondeterm rev(list,list)
        nondeterm rev(list,list,list)
        nondeterm next(s,list,s).
        nondeterm conc(l,l,l).
        nondeterm member(s,list)
        nondeterm arca(s,s)
        nondeterm new_node(s,list,list)
        nondeterm exist(s,s)
clauses
 
    arca(a,b). 
    arca(b,c). 
    arca(c,d). 
    arca(d,a).
    arca(a,o).
    arca(b,o).
    arca(c,o).
    arca(d,o).
    
    exist(A,B):-
        arca(A,B);
        arca(B,A).
     
    member(X,[X|_]).
    member(X,[_|Tail]):- 
        member(X,Tail).
     
    pathDFS(A,Z):- 
        dfs(A,[Z],Path),
        write("Depth-First Search : ",Path,"\n").
    
    dfs(A,[A|Path1],[A|Path1]).
    dfs(A,[Y|Path1],Path):- 
        exist(X,Y), 
        not(member(X,Path1)),
        dfs(A,[X,Y|Path1],Path).
     
    next(X,Was,Y):-
        exist(X,Y),
        not(member(Y,Was)).
     
    rev(X,Y):- 
        rev([],X,Y).  
        rev(Y,[],Y).  
    rev(X1,[Z|X2],Y):- 
        rev([Z|X1],X2,Y).
      
    conc([],L,L).
    conc([X|L1],L2,[X|L3]) :- 
        conc(L1,L2,L3).
 
    pathBFS(Start,Z) :- 
        bfs([[Start]],Z,Solution),
        rev(Solution,X),
        write("Breadth-First Search : ",X,"\n"),fail.
    pathBFS(_,_).
 
    bfs([[Node|Path]|_],Node,[Node|Path]).
    bfs([[B|Path]|Paths],Z,Solution) :- 
        findall(S, new_node(B,S,Path), NewPaths),
        conc(Paths,NewPaths,Paths1),!, 
        bfs(Paths1,Z,Solution);bfs(Paths,Z,Solution).  
 
    new_node(B,S,Path) :- 
        exist(B,B1), 
        not(member(B1,[B|Path])), 
        S=[B1,B|Path].
     
goal
    pathBFS(a,d),pathDFS(a,d),fail.

Проблема в том, что ты даже не пытался ничего сделать.

Честно отвечу и признаюсь я почти нечего не питался сделать просто целый лень делал лабораторные по паскалю,и сделал))Спасибо за помощь.

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

Crazyroma, я так и не понял кто такой "нашот", если это опечатка, то почему она повторяется 2 раза в таком коротком сообщении?

Извиняюсь за безграмотность не всегда есть время проверять что я написал.Щтаф справедлив.

06.12.2010, 23:35

Prolog
1
2
3
4
5
6
 
rev(X,Y):- 
                rev([],X,Y).  
                rev(Y,[],Y).  
rev(X1,[Z|X2],Y):- 
                rev([Z|X1],X2,Y)

А этот участок кода - это реверс решения при поиске в ширину, я правильно понял? Результат ведь выводиться, начиная с последней вершины и заканчивая начальной. А предикат rev представляет результат в "человеческом" виде?

Новые блоги и статьи Все статьи Все блоги /
Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .	Отображение реквизитов в документе по условию и контроль их заполнения Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеСпецтехники", разработанного в конфигурации КА2. Данный документ берёт данные из другого нетипового документа. . .
Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизитов табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: 1. Реализовать контроль заполнения реквизита. . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/

@freest
	28.11.2010, 15:18
	Не по теме: Рома, иди отсюда сам знаеш куда 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	28.11.2010, 18:32
	Да уж, ошибку в такой большой проге Вам тут никто не будет искать. В книге "Парадигма логического программирования" хорошо описаны все поиски, в том числе и с итеративным погружением. Или надо значительно сузить круг поиска. freest, посылать лучше в личке 1

@Грымзик
	28.11.2010, 18:48
	Не по теме: Я имела в виду не задание посылать, а посылать куда подальше. Ну а то, что помогать не хочет, это понятно, что-то Вы больно много на этом форуме о помощи вопрошаете. И ему видней, может Вы вообще еще ничего за семестр самостоятельно не сделали... да и не хотели признаваться сначала, что Вы Гапунич. 0

@Crazyroma 3 / 3 / 5 Регистрация: 21.10.2010 Сообщений: 124
	28.11.2010, 19:07 [ТС]
	Прошу помощи много потому что много не знаю,а нашот фамили то я ему сразу сказал что это я.Нашот того что я зделал втечение семестра это факт да я почти нечего не зделал по прологу потому что не смог его выучить потому конспекту то что нам дали,а всьо остальоное типа вышки и другого сам учю,а паскаль прошу помощи когда уже действитеьно задание сложное.Как по мне чтобы легче было понять. 0

@rrrFer Заблокирован
	28.11.2010, 21:46
	Crazyroma, я так и не понял кто такой "нашот", если это опечатка, то почему она повторяется 2 раза в таком коротком сообщении? 1

@ForEveR
	28.11.2010, 22:18
	Не по теме: Мда. А еще учю, зделать... Хм. Это студент? Тяжело... 0