prolog/problems/denotational_semantics/prog_listswap_2/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

id = 175
group = 'denotational_semantics'
number = 79
visible = True
facts = None

solution = '''\
program --> [begin], instructs175, [end].

instructs175 --> instr175.
instructs175 --> instr175, instructs175.

instr175 --> [left].
instr175 --> [right].
instr175 --> [swap].
'''