diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-05-22 20:37:28 +0200 |
commit | de7b441fe4ebd88fc19abbd6542cb8129f735ced (patch) | |
tree | 9c409cc281e5a095e468f20d9a33b1acad3ed5e7 /prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py | |
parent | 52a65d75cd7adc7983d4e6c45709b7571497ca9a (diff) |
Denotational semantics, part #1: tests and translations added.
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py')
-rw-r--r-- | prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py new file mode 100644 index 0000000..0e5ad88 --- /dev/null +++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/sl.py @@ -0,0 +1,16 @@ +name = 'prog_8puzzle/2' +slug = 'jezik za reševanje igre Osem' + +description = '''\ +<p> +Napiši DCG za jezik igre Osem (angl. 8-puzzle). Prvi simbol vsake besede je simbol <code>[begin]</code>, temu pa +sledi poljubno zaporedje "ukazov" iz nabora {<code>left</code>, <code>right</code>, <code>up</code> <code>down</code>}, +na koncu pa je simbol <code>[end]</code>. Začetni nekončni simbol naj se imenuje <code>prog_8puzzle</code>. +</p> + +<p> +Primeri veljavnih besed: <code>[begin,left,down,right,end]</code>, <code>[begin,down,end]</code>. +</p> +''' + +hint = {} |