From 7bc5d05a777045dbd5c9feace7c52c074b146794 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Sun, 29 May 2016 19:04:26 +0200 Subject: Denotational semantics, part #2 (mini algol): tests and translations added. --- prolog/problems/algol/algol_for_3/sl.py | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 prolog/problems/algol/algol_for_3/sl.py (limited to 'prolog/problems/algol/algol_for_3/sl.py') diff --git a/prolog/problems/algol/algol_for_3/sl.py b/prolog/problems/algol/algol_for_3/sl.py new file mode 100644 index 0000000..17d91fc --- /dev/null +++ b/prolog/problems/algol/algol_for_3/sl.py @@ -0,0 +1,18 @@ +name = 'algol_for/3' +slug = 'interpreter za mini-algol s for stavkom' + +description = '''\ +

Razširi podano gramatiko za jezik mini-algol, da bo le-ta podprla uporabo stavka "for". Primer:

+
+% 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