% The minimal set of examples to learn memb/2 

background([memb/2,components/3]).

memb(b,'[a,b,c]').
memb(b,'[b,c]').
memb(c,'[c]').

% Background knowledge

components('[a,b,c]',a,'[b,c]').
components('[a,b]',a,'[b]').
components('[b,c]',b,'[c]').
components('[a,c]',a,'[c]').
components('[a]',a,[]).
components('[b]',b,[]).
components('[c]',c,[]).