module cut_examples.

  mbr Head (Head::Tail).
  mbr Element (Head::Tail) :-
  	mbr Element Tail.
  
  % membership test only
  
  mbr1 Head (Head::Tail) :- !.
  mbr1 Element (Head::Tail) :-
  	mbr1 Element Tail.
  
  % discussed in class...
  
  mbr2 Head (Head::Tail).
  mbr2 Element (Head::Tail) :-
  	!, mbr2 Element Tail.

  mbr3 Head (Head::Tail).
  mbr3 Element (Head::Tail) :-
  	mbr3 Element Tail, !.