summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_if_3
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/algol_if_3
parente36a8a2feca7552d236c0f6e89ac73e7e690e7b1 (diff)
Remove space-padding from <pre> blocks
Diffstat (limited to 'prolog/problems/denotational_semantics/algol_if_3')
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/en.py18
1 files changed, 9 insertions, 9 deletions
diff --git a/prolog/problems/denotational_semantics/algol_if_3/en.py b/prolog/problems/denotational_semantics/algol_if_3/en.py
index fae6c45..66855e5 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/en.py
@@ -6,15 +6,15 @@ slug = 'interpreter for mini-algol with if-statement'
description = '''\
<p>Extend the given DCG for mini-algol to support the if-statement. You can assume that both branches are present in every if-statement. Example:</p>
<pre>
- % if a < b then
- % print(a)
- % else
- % print(b)
- % end
- ?- _Program = [begin,if,a,<,b,then,print(a),else,print(b),end,end],
- algol_if(_F, _Program, []),
- apply([a=3,b=5], Output, _F).
- Output = [a=3,b=5,printout=[3]].
+% if a < b then
+% print(a)
+% else
+% print(b)
+% end
+?- _Program = [begin,if,a,<,b,then,print(a),else,print(b),end,end],
+ algol_if(_F, _Program, []),
+ apply([a=3,b=5], Output, _F).
+ Output = [a=3,b=5,printout=[3]].
</pre>
'''