diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-22 17:48:30 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-22 17:48:30 +0200 |
| commit | bbcb29a202436fc0e222e187f1fadf0b1f305465 (patch) | |
| tree | fed504361df37c4ce01b5b13c1082d5f3234de79 /prolog/problems/denotational_semantics/prog_8puzzle_2/common.py | |
| parent | 4973979e40dfdc26dafe1cdeddf8e0bce859ba5d (diff) | |
Prolog: update denotational_semantics problems
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_8puzzle_2/common.py')
| -rw-r--r-- | prolog/problems/denotational_semantics/prog_8puzzle_2/common.py | 16 |
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]. +''' |