1. %przykladowe testy
2.  
3.  
4. %przem(a,1,b,1),
5. %przem(a,1,c,1),
6. %przem(a,1,c,2).
7. %
8. %przem(a,1,X,Y).
9.  
10.  
11.  
12. board([[w, w, w, w, w, w, w],  
13.        [w, a, b, x, x, x, w],  
14.        [w, x, b, x, x, x, w],
15.        [w, x, x, b, x, x, w],
16.        [w, w, w, w, w, w, w]]).
17.  
18. steps(2).
19. steps(4).
20. steps(8).
21. steps(16).
22. steps(32).
23.  
24. block(a).
25. block(b).
26.  
27. direction(down).
28. direction(right).
29. direction(up).
30. direction(left).
31.  
32. height(a, X):- X is 1.
33. height(b, X):- X is 2.
34. height(c, X):- X is 3.
35.  
36. height(a).
37. height(b).
38. height(c).
39.  
40. width(1).
41. width(2).
42. width(3).
43. width(4).
44. width(5).
45.  
46.  
47.  
48. xydiff(D, Y, X):-
49.     D = 'left',
50.     Y is 0,
51.     X is -1.
52. xydiff(D, Y, X):-
53.     D = 'right',
54.     Y is 0,
55.     X is 1.
56. xydiff(D, Y, X):-
57.     D = 'up',
58.     Y is -1,
59.     X is 0.    
60. xydiff(D, Y, X):-
61.     D = 'down',
62.     Y is 1,
63.     X is 0.
64.  
65.  
66. % PREDICATS
67.  
68. %------------------
69.         max_steps(MaxSteps):-
70.         board(Board),
71.         find_all_objects(Board, Objects, 'x'),
72.         length(Objects, MaxSteps).
73. %------------------
74.  
75.  
76. %------------------
77.     n_character(N, Chars, Char):-
78.         string_chars(Chars, Str),
79.         nth0(N, Str, Char).    
80. %------------------    
81.  
82.  
83. %------------------
84.         position(Board, Y, X, Character):-
85.         nth0(Y, Board, Column),
86.         nth0(X, Column, Character).
87. %------------------
88.  
89.  
90. %------------------
91.         find_corner(Board, Y, X, Character):-
92.         position(Board, Y, X, Character), !.
93. %------------------    
94.  
95.  
96. %------------------
97.         is_position_free(Board, Y, X):-
98.         position(Board, Y, X, 'x').
99. %------------------    
100.  
101.  
102. %------------------
103.     is_position_wall(Board, Y, X):-
104.         position(Board, Y, X, 'w').
105. %------------------
106.  
107.        
108. %------------------
109.     add_element(List, Element, [Element|List]).
110. %------------------
111.  
112.  
113. %------------------
114.     change_in_list(Index, Elem, [_|T], [Elem|T]):-
115.         Index = 0,
116.         !.
117.        
118.     change_in_list(Index, Elem, [H|T], [H|Out]):-
119.         Index1 is Index - 1,
120.         change_in_list(Index1, Elem, T, Out).
121. %------------------
122.  
123.  
124. %------------------
125.         insert_into_two_dimensional_array(Y, X, Object, Board, NewBoard):-
126.         nth0(Y, Board, ColFrom),
127.         change_in_list(X, Object, ColFrom, NewColFrom),
128.         change_in_list(Y, NewColFrom, Board, NewBoard).
129. %------------------
130.  
131.  
132. %------------------
133.     unpack_one_element_list([H|_], H).
134.  
135.  
136.     unpack_two_element_list([H|T], H, B):-
137.         unpack_one_element_list(T, B).
138.  
139.  
140.         unpack_three_element_list([H|T], H, B, C):-
141.         unpack_two_element_list(T, B, C).
142. %------------------
143.  
144.  
145. %------------------
146.         find_all_objects(Board, Objects, Character):-
147.         append(Board, L),
148.         find_all_objects_unwrap(L, [], Objects, Character).
149.        
150.         find_all_objects_unwrap([], ObjectsTemp, ObjectsTemp, _).
151.    
152.     find_all_objects_unwrap([H|T], ObjectsTemp, Objects, Character):-
153.         n_character(_, H, Character),
154.         add_element(ObjectsTemp, H, ObjectsTemp1),
155.         find_all_objects_unwrap(T, ObjectsTemp1, Objects, Character),!.
156.  
157.     find_all_objects_unwrap([_|T], ObjectsTemp, Objects, Character):-
158.                 find_all_objects_unwrap(T, ObjectsTemp, Objects, Character), !.
159.  
160. %------------------    
161.  
162.  
163.  
164. %------------------
165.     find_all_cords_of_block_unwrap(_, [], ListOfCords, ListOfCords).   
166.        
167.     find_all_cords_of_block_unwrap(Board, [H|T], ListOfCordsTemp, ListOfCords):-
168.          position(Board, Y, X, H),
169.          insert_into_two_dimensional_array(Y, X, 'T', Board, NewBoard),
170.          add_element(ListOfCordsTemp, [Y, X], ListOfCordsTemp1),
171.          find_all_cords_of_block_unwrap(NewBoard, T, ListOfCordsTemp1, ListOfCords), !.
172.    
173.         find_all_cords_of_block(Board, Character, ListOfCords):-
174.         find_all_objects(Board, Objects, Character),
175.         find_all_cords_of_block_unwrap(Board, Objects, [], ListOfCords).
176. %------------------
177.  
178.  
179. %------------------
180.     replace_cords_with_character(Board, Board, [], _).
181.         replace_cords_with_character(Board, NewBoard, [H|T], BlockCharacter):-
182.         unpack_two_element_list(H, Y, X),
183.         insert_into_two_dimensional_array(Y, X, BlockCharacter, Board, Board1),
184.         replace_cords_with_character(Board1, NewBoard, T, BlockCharacter).
185. %------------------
186.  
187.  
188. %------------------
189.         move_cordinates([], NewListOfCords, NewListOfCords , _, _).
190.         move_cordinates([H|T], TemporaryListOfCords, NewListOfCords, Ydiff, Xdiff):-
191.         unpack_two_element_list(H, Y, X),
192.         Y1 is Y + Ydiff,
193.         X1 is X + Xdiff,
194.         add_element(TemporaryListOfCords, [Y1, X1], TemporaryListOfCords1),
195.         move_cordinates(T, TemporaryListOfCords1, NewListOfCords, Ydiff, Xdiff).
196. %------------------
197.  
198. %------------------
199.         get_new_cords(ListOfCords, NewListOfCords, Direction):-
200.         xydiff(Direction, Ydiff, Xdiff),
201.         move_cordinates(ListOfCords, [], NewListOfCords, Ydiff, Xdiff).
202. %------------------
203.  
204.  
205. %------------------
206.     can_single_cell_move(Board, Y, X, Ydiff, Xdiff):-
207.         position(Board, Y, X, BlockCharacter),
208.         Y1 is Y + Ydiff,
209.         X1 is X + Xdiff,
210.         position(Board, Y1, X1, CellCharacter),
211.         (CellCharacter = BlockCharacter ; CellCharacter = 'x').
212. %------------------
213.  
214.  
215. %------------------    
216.         can_every_cell_move(_, [], _, _).
217.         can_every_cell_move(Board, [H|T], Xdiff, Ydiff):-
218.         unpack_two_element_list(H, Y, X),
219.         can_single_cell_move(Board, Y, X, Xdiff, Ydiff),
220.         can_every_cell_move(Board, T, Xdiff, Ydiff).
221. %------------------
222.  
223.  
224. %------------------
225.     can_block_move(Board, Direction, ListOfCords):-
226.         xydiff(Direction, Ydiff, Xdiff),
227.         can_every_cell_move(Board, ListOfCords, Ydiff, Xdiff).
228. %------------------
229.  
230.  
231.  
232. %------------------    
233.         move_block(Board, BlockCharacter, Direction, NewBoard):-
234.         find_all_cords_of_block(Board, BlockCharacter, ListOfCords),
235.         can_block_move(Board, Direction, ListOfCords),
236.         replace_cords_with_character(Board, Board1, ListOfCords, x),
237.         get_new_cords(ListOfCords, ListOfCords1, Direction),
238.         replace_cords_with_character(Board1, NewBoard, ListOfCords1, BlockCharacter).
239. %------------------
240.  
241.  
242. %------------------
243.         %best move for the game
244.         one_step(Board, NewBoard):-
245.        move_block(Board, a, right, NewBoard), !.
246.        
247.         %random  move
248.         one_step(Board, NewBoard):-
249.        direction(Dir),
250.        block(BlockCharacter),
251.        move_block(Board, BlockCharacter, Dir, NewBoard).
252. %------------------
253.        
254.  
255. %------------------
256.         make_move(Board, Board, Steps, MaxSteps, Final_Y, Final_X, []):-
257.         not(Steps > MaxSteps),
258.         find_corner(Board, Y, X, a),
259.         Y is Final_Y,
260.         X is Final_X,
261.         !.
262.         make_move(Board, NewBoard, Steps, MaxSteps,  Final_Y, Final_X, MOVES):-
263.         not(Steps > MaxSteps),
264.         one_step(Board, BoardT),
265.         IncSteps is Steps + 1,
266.         make_move(BoardT, NewBoard, IncSteps, MaxSteps, Final_Y, Final_X, MOVEST),
267.         MOVES = [BoardT | MOVEST],
268.         !.
269. %------------------
270.  
271.  
272. %------------------
273.  
274.         rozwiaz(FinalY, FinalX, FinalBoard, MOVES):-
275.         height(FinalY, Y),
276.         board(B),
277.         steps(MaxSteps),
278.         make_move(B, FinalBoard, 0, MaxSteps, Y, FinalX, MOVES), !.
279.        
280. %------------------
281.  
282. max_height_width(MaxHeight, MaxWidth):-
283.     board(B),
284.     last(B, Row),
285.     length(B, Height),
286.     length(Row, Width),
287.     MaxHeight is Height - 2,
288.     MaxWidth is Width - 2.
289.  
290. walidate_cords(StartY, StartX, EndY, EndX):-
291.     height(EndY),
292.     width(EndX),
293.     height(StartY),
294.     width(StartX).
295.    
296. translate_cords(StartY, EndY, SY, EY):-
297.     height(StartY, SY),
298.     height(EndY, EY).
299.  
300. %------------------    
301.         przem(StartY, StartX, EndY, EndX):-
302.         walidate_cords(StartY, StartX, EndY, EndX),    
303.                 translate_cords(StartY, EndY, SY, EY),    
304.         max_steps(MaxSteps),
305.         board(B),
306.         przem_unwrap(B, SY, StartX, EY, EndX, 0, MaxSteps).
307.        
308.         przem_unwrap(_, StartY, StartX, EndY, EndX, Steps, MaxSteps):-
309.         not(Steps > MaxSteps),
310.         StartX = EndX,
311.         StartY = EndY,!.
312.  
313.         przem_unwrap(Board, StartY, StartX, EndY, EndX, Steps, MaxSteps):-
314.         not(Steps > MaxSteps),
315.         position(Board, StartY, StartX,  Char),
316.         direction(Dir),
317.         move_block(Board, Char, Dir, NewBoard),
318.         position(NewBoard, TempY, TempX, Char),
319.         IncSteps = Steps + 1,
320.         przem_unwrap(NewBoard, TempY, TempX, EndY, EndX, IncSteps, MaxSteps).
321. %------------------