% Learning memb/2 with a complete set of examples

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

% Examples of the target predicate

memb(a,'[a,b,c]').
memb(b,'[a,b,c]').
memb(c,'[a,b,c]').
memb(a,'[a,b]').
memb(b,'[a,b]').
memb(b,'[b,c]').
memb(c,'[b,c]').
memb(a,'[a,c]').
memb(c,'[a,c]').
memb(a,'[a]').
memb(b,'[b]').
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,[]).