name = 'memberT/2' slug = 'poišči element v drevesu' description = '''\
memberT(X, T)
: X
je element drevesa T
. Vozlišče drevesa je predstavljeno s strukturo t(E, T1, T2, …)
, kjer je E
vrednost v vozlišču, kateri sledi poljubno mnogo poddreves. Prazno drevo predstavlja atom nil
.
?- memberT(X, t(3, t(1), t(2))). X = 3 ; X = 1 ; X = 2.''' hint = {}