Definition of member

member(X,[X|_]).

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

• X is a member of a list starting with X; and X is a member of a list starting with anything as long as it is a member of the rest of the list

Previous slide

Next slide

Back to first slide

View graphic version