summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_listswap_2/en.py
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-05-22 20:37:28 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-05-22 20:37:28 +0200
commitde7b441fe4ebd88fc19abbd6542cb8129f735ced (patch)
tree9c409cc281e5a095e468f20d9a33b1acad3ed5e7 /prolog/problems/denotational_semantics/prog_listswap_2/en.py
parent52a65d75cd7adc7983d4e6c45709b7571497ca9a (diff)
Denotational semantics, part #1: tests and translations added.
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_listswap_2/en.py')
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/en.py6
1 files changed, 4 insertions, 2 deletions
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/en.py b/prolog/problems/denotational_semantics/prog_listswap_2/en.py
index 89907bd..7db473b 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/en.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/en.py
@@ -6,12 +6,14 @@ description = '''\
Write a DCG for manipulating list elements. The first symbol in every word is
<code>[begin]</code>, followed by any sequence of "instruction" symbols from
the set {<code>left</code>, <code>right</code>, <code>swap</code>}, and finally
-<code>[end]</code>. The starting symbol should be named
+the symbol <code>[end]</code>. The starting symbol should be named
<code>prog_listswap</code>.
</p>
+<p>This exercise has already been solved for you. Check how it works in the console.</p>
+
<p>
-Example words: <code>[begin,right,swap,end]</code>, <code>[begin,right,left,end]</code>.
+Example words: <code>[begin,right,swap,end]</code>, <code>[begin,right,right,swap,left,swap,end]</code>.
</p>
'''