Denotational semantics, part #2 (mini algol): tests and translations added.

1 files changed, 20 insertions, 0 deletions

diff --git a/prolog/problems/algol/algol_if_3/sl.py b/prolog/problems/algol/algol_if_3/sl.py
new file mode 100644
index 0000000..a75bcef
--- /dev/null
+++ b/prolog/problems/algol/algol_if_3/sl.py
@@ -0,0 +1,20 @@
+name = 'algol_if/3'
+slug = 'interpreter za mini-algol z if stavkom'
+
+description = '''\
+<p>Razširi podano gramatiko za jezik mini-algol, da bo le-ta podprla uporabo stavka "if-then-else".
+Privzemi, da morata obe veji (then in else) biti prisotni v stavku. Primer:</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]].
+</pre>
+'''
+
+hint = {}