blob: c5b69dae22d2f4856608e0899f3b85f65bd0c546 (
plain)
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
|
id = 172
number = 30
visible = True
facts = None
solution = '''\
prog_8puzzle --> [begin], instructs172, [end].
instructs172 --> instr172.
instructs172 --> instr172, instructs172.
instr172 --> [left].
instr172 --> [right].
instr172 --> [up].
instr172 --> [down].
'''
initial = '''\
prog_8puzzle --> [begin], instructs, [end].
instructs --> instr.
instructs --> instr, instructs.
instr --> [left].
instr --> [right].
instr --> [up].
instr --> [down].
'''
|
