summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/prog_listswap_3/en.py
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-13 13:51:15 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-13 13:51:15 +0100
commit388b32039898cc8f1784378689007254eb7a33b6 (patch)
treeac9e4c6145ad323dc5479179a04f44bbcea73eff /prolog/problems/denotational_semantics/prog_listswap_3/en.py
parente36a8a2feca7552d236c0f6e89ac73e7e690e7b1 (diff)
Remove space-padding from <pre> blocks
Diffstat (limited to 'prolog/problems/denotational_semantics/prog_listswap_3/en.py')
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/en.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/en.py b/prolog/problems/denotational_semantics/prog_listswap_3/en.py
index 5e85ce6..ad9dcf8 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/en.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/en.py
@@ -9,8 +9,8 @@ description = '''\
<p>The meaning of a word (program) in this language has the form <code>In-->Out</code>, mapping from input to output lists. Besides the list contents, internal states also hold the current cursor position. The <code>left</code> and <code>right</code> instructions move the cursor one step in the given direction, while the <code>swap</code> instruction swaps the element under the cursor with its left neighbor (and fails if cursor is currently pointing to the first element of the list).</p>
<pre>
- ?- prog_listswap([1,2,3,4]-->Out, [begin,right,swap,end], []).
- Out = [2,1,3,4].
+?- prog_listswap([1,2,3,4]-->Out, [begin,right,swap,end], []).
+ Out = [2,1,3,4].
</pre>
<p>Helper predicate (already defined):<br />