/* Learning memb/2 with a complete set of examples */

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

/* 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,[]).