% The minimal set of examples to learn conc/3 (appending lists) */

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

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

conc('[a,b]','[c]','[a,b,c]').
conc('[b]','[c]','[b,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,[]).