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
| domains
состояние = состояние(integer,integer,symbol)
список_состояний = состояние*
predicates
nondeterm перевозить(integer,integer)
nondeterm разрешенное_состояние(integer,integer)
nondeterm решение(состояние,список_состояний,список_состояний)
сделать_движение(состояние,состояние,состояние)
nondeterm новое_состояние(состояние,состояние)
nondeterm поиск(состояние,список_состояний)
clauses
решение(состояние(0, 0, вправо), _, []).
решение(ТекущееСостояние, ПосещенноеСостояние, [Перемещение|ХвостПеремещениея]) :-
новое_состояние(ТекущееСостояние, СледующееСостояние),
not(поиск(СледующееСостояние, ПосещенноеСостояние)),
сделать_движение(ТекущееСостояние, СледующееСостояние, Перемещение),
решение(СледующееСостояние, [СледующееСостояние|ПосещенноеСостояние], ХвостПеремещениея).
поиск(H,[H|_]).
поиск(H,[_|T]):-поиск(H,T). %содержится ли элемент в списке
сделать_движение(состояние(M1, K1, влево), состояние(M2, K2, вправо), состояние(M, K, вправо)) :-
M = M1 - M2,
K = K1 - K2.
сделать_движение(состояние(M1, K1, вправо), состояние(M2, K2, влево), состояние(M, K, влево)) :-
M = M2 - M1,
K = K2 - K1.
перевозить(2, 0).
перевозить(1, 0).
перевозить(1, 1).
перевозить(0, 1).
перевозить(0, 2).
разрешенное_состояние(X, X).
разрешенное_состояние(3, X).
разрешенное_состояние(0, X).
новое_состояние(состояние(M1, K1, влево), состояние(M2, K2, вправо)) :-
перевозить(M, K),
M <= M1,
K <= K1,
M2 = M1 - M,
K2 = K1 - K,
разрешенное_состояние(M2, K2).
новое_состояние(состояние(M1, K1, вправо), состояние(M2, K2, влево)) :-
перевозить(M, K),
M2 = M1 + M,
K2 = K1 + K,
M2 <= 3,
K2 <= 3,
разрешенное_состояние(M2, K2).
goal
решение(состояние(3,3,влево), [состояние(3,3,влево)], Путь). |
(
