1 files changed, 14 insertions, 2 deletions
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index 71875d4..c5b69da 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -1,6 +1,6 @@
 id = 172
-number = 81
-visible = False
+number = 30
+visible = True
 facts = None
 
 solution = '''\
@@ -14,3 +14,15 @@ 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].
+'''