diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-22 18:07:57 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-22 18:07:57 +0200 |
| commit | 52a65d75cd7adc7983d4e6c45709b7571497ca9a (patch) | |
| tree | 16944dd31bb7972cb368d2a49d92a68a26062c23 /prolog/problems/denotational_semantics/prog_8puzzle_2/common.py | |
| parent | bbcb29a202436fc0e222e187f1fadf0b1f305465 (diff) | |
Prolog: update initial code for 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 | 12 |
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]. -''' |