prolog/problems/denotational_semantics/prog_8puzzle_2/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

# coding=utf-8

id = 172
number = 81
visible = False
facts = None

solution = '''\
prog_8puzzle --> [begin], instructs172, [end].

instructs172 --> instr172.
instructs172 --> instr172, instructs172.

instr172 --> [left].
instr172 --> [right].
instr172 --> [up].
instr172 --> [down].
'''