Membership

member1( X, [ X | _]).
member1( X, [ _ | Tail]) :-
 member1( X, Tail).

member2( X, [ _ | Tail]) :-
 member2( X, Tail).
member2( X, [ X | _]).

Consider the execution traces for each, when presented with :

• member1( 2,[ 1,2,3,4])
• member2( 2,[ 1,2,3,4])

Which is better ?

Q : holiday( Student), party( Student)
A : jane
no more solutions

Search Tree for this