blob: 65baa147f82c3240ff342dc5020107c3e0b6b06e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
id = 139
group = 'trees'
number = 44
visible = True
facts = None
solution = '''\
numberBT(nil, 0).
numberBT(b(L, _, R), N) :-
numberBT(L, LN),
numberBT(R, RN),
N is LN + RN + 1.
'''
|