prolog/problems/trees/mirrorbt_2/common.py


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

# coding=utf-8

id = 136
group = 'trees'
number = 43
visible = True
facts = None

solution = '''\
mirrorBT(nil, nil).
mirrorBT(b(L, X, R), b(NewR, X, NewL)) :-
  mirrorBT(L, NewL),
  mirrorBT(R, NewR).
'''