summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_8puzzle_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-22 18:07:57 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-22 18:07:57 +0200
commit52a65d75cd7adc7983d4e6c45709b7571497ca9a (patch)
tree16944dd31bb7972cb368d2a49d92a68a26062c23 /prolog/problems/denotational_semantics/prog_8puzzle_2
parentbbcb29a202436fc0e222e187f1fadf0b1f305465 (diff)
Prolog: update initial code for denotational_semantics problems
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_8puzzle_2')
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/common.py12
1 files changed, 0 insertions, 12 deletions
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index c5b69da..22429cc 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -14,15 +14,3 @@ 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].
-'''