% Learning sublist/2 

background([sublist/2,conc/3,components/3]).

sublist('[a,b]','[a,b]').
sublist('[a]','[a,b]').
sublist('[b]','[a,b]').
sublist('[]','[a,b]').

sublist('[b,c]','[b,c]').
sublist('[b]','[b,c]').
sublist('[c]','[b,c]').
sublist('[]','[b,c]').


% Background knowledge

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

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