Exported all problems from the SQLite database into the new directory structure.

1 files changed, 20 insertions, 0 deletions

diff --git a/prolog/problems/denotational_semantics/algol_if_3/en.py b/prolog/problems/denotational_semantics/algol_if_3/en.py
new file mode 100644
index 0000000..6bc0cb8
--- /dev/null
+++ b/prolog/problems/denotational_semantics/algol_if_3/en.py
@@ -0,0 +1,20 @@
+id = 177
+name = 'algol_if/3'
+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]].
+</pre>
+'''
+
+hint = {}