/* The complete set of examples to learn conc/3 */

background([conc/3,components/3]).
propositional([[]]).

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

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