memtree(Data,tree(Data,_,_)).
memtree(Data,tree(D,Left,_)) :-
        Data @< D,
        memtree(Data,Left).
memtree(Data,tree(D,_,Right)) :-
        Data @> D,
        memtree(Data,Right).