summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics/algol_3/en.py
blob: 59a9bd2fbe4162a652b57f74e246d51cc10aa05d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
# coding=utf-8

name = 'algol/3'
slug = 'interpreter for mini-algol'

description = '''\
<p>A DCG for mini-algol.</p>
<pre>
% apply a function to a starting state
?- apply([a=2], Out, fun(_In, Out, eval(a+3, _In, Out))).
  Out = 5.

% a := a+b
% b := a-b
% a := a-b
?- _Program = [begin,a,:=,a+b,b,:=,a-b,a,:=,a-b,end],
    algol(_F, _Program, []),
    apply([a=3,b=5], Output, _F).
  Output = [a=5,b=3,printout=[]].

% a := 0
% while a < 10 do
% begin
%   print(a)
%   a := a+1
% end
?- _Program = [begin,a,:=,0,while,a,<,10,do,begin,print(a),a,:=,a+1,end,end],
    algol(_F, _Program, []),
    apply([a=3], Output, _F).
  Output = [a=10,printout=[0,1,2,3,4,5,6,7,8,9]].
</pre>
'''

hint = {}