summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_if_3
diff options
context:
space:
mode:
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>
'''