/* Learning sub/2 - subset relation on ordered lists */

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

/* Examples of the target predicate */
sub('[b]','[a,b,c]').
sub('[c]','[a,b,c]').
sub('[a,b]','[a,b,c]').
sub('[a,c]','[a,b,c]').
sub('[b]','[b,c]').
sub('[c]','[b,c]').
sub('[c]','[a,c]').
sub('[c]','[c]').
sub([],[]).
sub([],'[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,[]).