/* Learning memb/2 using del/3 as background knowledge */

background([memb/2,del/3,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(a,'[a,c]').
memb(a,'[a]').

/* Background knowledge */
del(a,'[a,b,c]','[b,c]').
del(b,'[a,b,c]','[a,c]').
del(c,'[a,b,c]','[a,b]').
del(a,'[a,b]','[b]').
del(a,'[a,c]','[c]').
del(b,'[a,b]','[a]').
del(b,'[b,c]','[c]').
del(c,'[a,c]','[a]').
del(c,'[b,c]','[b]').
del(a,'[a]', []).
del(b,'[b]', []).
del(c,'[c]', []).

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