mylength([], 0).

mylength([_|T], L) :-

mylength(T, M),
	  L is M + 1.


member(E,[E|_]).

member(E, [_|T]) :-
	  member(E, T).


append([],L,L).

append([H|T],L,[H|Y]) :-
          append(T,L,Y).