From 95e2fe57f6e4639f6ae9f1fef368829d5090dbf6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ale=C5=A1=20Smodi=C5=A1?= Date: Tue, 18 Aug 2015 16:06:19 +0200 Subject: Exported all problems from the SQLite database into the new directory structure. --- .../problems/denotational_semantics/algol_for_3/en.py | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 prolog/problems/denotational_semantics/algol_for_3/en.py (limited to 'prolog/problems/denotational_semantics/algol_for_3/en.py') diff --git a/prolog/problems/denotational_semantics/algol_for_3/en.py b/prolog/problems/denotational_semantics/algol_for_3/en.py new file mode 100644 index 0000000..3578b71 --- /dev/null +++ b/prolog/problems/denotational_semantics/algol_for_3/en.py @@ -0,0 +1,19 @@ +id = 178 +name = 'algol_for/3' +slug = 'interpreter for mini-algol with for-statement' + +description = '''\ +

Extend the given DCG for mini-algol to support the for-statement. Example:

+
+  % for a := 0 & a < 5 & a := a + 1 do
+  % begin
+  %   print(a)
+  % end
+  ?- _Program = [begin,for,a,:=,0,&,a,<,5,&,a,:=,a+1,do,begin,print(a),end,end],
+      algol_for(_F, _Program, []),
+      apply([a=2], Output, _F).
+    Output = [a=5,printout=[0,1,2,3,4]].
+
+''' + +hint = {} -- cgit v1.2.1