prolog/problems/trees/memberbt_2/common.py


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

# coding=utf-8

id = 135
group = 'trees'
number = 42
visible = True
facts = None

solution = '''\
memberBT(X, b(_, X, _)).
memberBT(X, b(L, _, _)) :-
  memberBT(X, L).
memberBT(X, b(_, _, R)) :-
  memberBT(X, R).
'''