Show the logic programming search tree for goal
(member(X,[3,4,5]), member(X,[4])), up to the point where
a success is found. The definition of the member predicate is as follows,
written in Prolog syntax.
member(M, [M|X]).
member(M, [X|T]) :- member(M, T).