summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_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_3
parente36a8a2feca7552d236c0f6e89ac73e7e690e7b1 (diff)
Remove space-padding from <pre> blocks
Diffstat (limited to 'prolog/problems/denotational_semantics/algol_3')
-rw-r--r--prolog/problems/denotational_semantics/algol_3/en.py40
1 files changed, 20 insertions, 20 deletions
diff --git a/prolog/problems/denotational_semantics/algol_3/en.py b/prolog/problems/denotational_semantics/algol_3/en.py
index c5da13e..59a9bd2 100644
--- a/prolog/problems/denotational_semantics/algol_3/en.py
+++ b/prolog/problems/denotational_semantics/algol_3/en.py
@@ -6,28 +6,28 @@ slug = 'interpreter for mini-algol'
description = '''\
<p>A DCG for mini-algol.</p>
<pre>
- % apply a function to a starting state
- ?- apply([a=2], Out, fun(_In, Out, eval(a+3, _In, Out))).
- Out = 5.
+% apply a function to a starting state
+?- apply([a=2], Out, fun(_In, Out, eval(a+3, _In, Out))).
+ Out = 5.
- % a := a+b
- % b := a-b
- % a := a-b
- ?- _Program = [begin,a,:=,a+b,b,:=,a-b,a,:=,a-b,end],
- algol(_F, _Program, []),
- apply([a=3,b=5], Output, _F).
- Output = [a=5,b=3,printout=[]].
+% a := a+b
+% b := a-b
+% a := a-b
+?- _Program = [begin,a,:=,a+b,b,:=,a-b,a,:=,a-b,end],
+ algol(_F, _Program, []),
+ apply([a=3,b=5], Output, _F).
+ Output = [a=5,b=3,printout=[]].
- % a := 0
- % while a < 10 do
- % begin
- % print(a)
- % a := a+1
- % end
- ?- _Program = [begin,a,:=,0,while,a,<,10,do,begin,print(a),a,:=,a+1,end,end],
- algol(_F, _Program, []),
- apply([a=3], Output, _F).
- Output = [a=10,printout=[0,1,2,3,4,5,6,7,8,9]].
+% a := 0
+% while a < 10 do
+% begin
+% print(a)
+% a := a+1
+% end
+?- _Program = [begin,a,:=,0,while,a,<,10,do,begin,print(a),a,:=,a+1,end,end],
+ algol(_F, _Program, []),
+ apply([a=3], Output, _F).
+ Output = [a=10,printout=[0,1,2,3,4,5,6,7,8,9]].
</pre>
'''