PPT Slide
member2 ( X , [ X | _ ] ) .
member2 ( X , [ _ | Rest ] ) :- member 2( X, Rest ) .
| ? - member ( cheese , [ milk , bread , cheese , eggs ] ) .
| ? - member ( cheese , [ milk , [ bread , cheese ] , eggs ] ).
length1( [ _ | Rest ] , L ) : -
| ? - length1 ( [ a , b , c , d ] , X ) .
LIST OPERATIONS IN PROLOG